• 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
ast.ml 3.13 KB