recursive+directory 源代码

/* This is legal. The second function "g" simply hides the first one. Because of the intervening variable declaration, the two…

/* define valid mutually recursive functions */ let function do_nothing1(a: int, b: string):int= (do_nothing2(a+1);0) function…

/* error: definition of recursive types is interrupted */ let /* define a tree */ type tree ={key: int, children: treelist} var d:…

/* error: mutually recursive types thet do not pass through record or array */ let type a=c type b=a type c=d type d=a in "" e…

/* define a recursive function */ let /* calculate n! */ function nfactor(n: int): int = if n = 0 then 1 else n * nfact…

/* This is legal. The second type "a" simply hides the first one. Because of the intervening variable declaration, the two "a"…

/* define valid mutually recursive procedures */ let function do_nothing1(a: int, b: string)= do_nothing2(a+1) function do_not…

/* This is illegal, since there are two types with the same name in the same (consecutive) batch of mutually recursive types. …

/* define valid recursive types */ let /* define a list */ type intlist = {hd: int, tl: intlist} /* define a tree */ type tree =…

/* error : definition of recursive functions is interrupted */ let function do_nothing1(a: int, b: string):int= (do_nothing2(a+…