• Pietro Abate's avatar
    New syntax for parametric types · f1235de1
    Pietro Abate authored
    now we can write types as
    type t( 'a) = <a>'a
    
    and patterns can contain type instantiations
    let f = fun (t('a) -> [ t('a)* ]) x -> [ x ];;
    let id = fun (t(Int) -> [ t(Int)* ]) x -> [ x ];;
    
    Note: parametric types must be written as "IDENT(" without space.
    f1235de1
Name
Last commit
Last update
..
cduce.ml Loading commit data...
cduce.mli Loading commit data...
cduce_config.ml Loading commit data...
cduce_config.mli Loading commit data...
evaluator.ml Loading commit data...
examples.ml Loading commit data...
librarian.ml Loading commit data...
librarian.mli Loading commit data...
run.ml Loading commit data...
start.ml Loading commit data...
webiface.ml Loading commit data...