• Pietro Abate's avatar
    Add parametric type to patterns · 0d3a9e60
    Pietro Abate authored
    - change syntax to avoid conflicts ( tried "((", "[<", "<[", "(" )
       type t {[ 'a,'b ]} = (Int,[ 'b* ]) ;;
       let app (f : 'a -> t {[Int,Int]} )(a : 'a) : t = f a;;
    0d3a9e60
Name
Last commit
Last update
..
ast.ml Loading commit data...
cduce_curl.ml Loading commit data...
cduce_loc.ml Loading commit data...
cduce_loc.mli Loading commit data...
cduce_netclient.ml Loading commit data...
parser.ml Loading commit data...
parser.mli Loading commit data...
ulexer.ml Loading commit data...
ulexer.mli Loading commit data...
url.ml Loading commit data...
url.mli Loading commit data...
wlexer.mll Loading commit data...