Commit ce879edf authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2002-11-08 22:20:11 by cvscast] Empty log message

Original author: cvscast
Date: 2002-11-08 22:20:11+00:00
parent 99c20669
let fun f (x : Int) : Int = x + 1;;
f 2;;
let fun g (x : [Int*]) : [Int*] = (1,2,3,x);;
g [10 20 30];;
[1 2 3] [10 20 30];;
let fun h (x : [Int*] | ([Int*] -> [Int*])) : [Int*] = x [ 1 2 3 ];;
h [ 10 20 ];;
h (fun (x : [Int*]) : [Int*] = [ 100 200 ] x);;
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment