builtin.ml 464 Bytes
Newer Older
1
2
3
4
5
6
7
let intstr =
  Sequence.plus (Types.char (Chars.char_class
			       (Chars.Unichar.from_char '0')
			       (Chars.Unichar.from_char '9')
			    )
		)

8
9
10
11
12
13
let types =
  [ 
    "Empty",   Types.empty;
    "Any",     Types.any;
    "Int",     Types.Int.any;
    "Char",    Types.char Chars.any;
14
15
16
17
    "Atom",    Types.atom Atoms.any;
    "Pair",    Types.Product.any;
    "Arrow",   Types.Arrow.any;
    "Record",  Types.Record.any;
18
    "String",  Sequence.string;
19
  ];