如何構建一個可以發出任意數量的可能匹配的宏？

Question

比方說，我想創建這樣的宏：

m(1, k)會產生：

match(k) 
{ 
    | 1 => 2 
    | _ => 0 
} 

m(2, k)會產生：

match(k) 
{ 
    | 1 => 2 
    | 2 => 3 
    | _ => 0 
} 

等。雖然像<[ $i => $(i + 1) ]>這樣的結構可能會被接受，但我不知道如何創建由這些組成的匹配表達式。這個例子當然是人爲的;）

Answer 1

public macro m(to, k) 
{ 
    def toInteger(literal) 
    { 
    | <[ $(i : int) ]> => i 
    | _ => Message.Error(literal.Location, $"'$literal' integer literal expected"); 0; 
    } 

    def to = toInteger(to); 

    def createCases(i) 
    { 
    | i when (i > 0) => <[case: | $i => $(i + 1) ]> :: createCases(i - 1); 
    | _ => [ <[case: | _ => 0 ]> ] 
    } 

    <[ 
    match ($k) 
    { 
     ..$(createCases(to)) 
    } 
    ]> 
} 

http://nemerle.org/Macros_tutorial#Matching_match-cases