| 706 |
*) |
*) |
| 707 |
|
|
| 708 |
(* |
(* |
| 709 |
let pat s = Patterns.descr (Syntax.make_pat (Syntax.parse s));; |
let pat s = Patterns.descr (Typer.pat (Parser.From_string.pat s));; |
| 710 |
let typ s = Types.descr (Syntax.make_type (Syntax.parse s));; |
let typ s = Types.descr (Typer.typ (Parser.From_string.pat s));; |
| 711 |
let f s = Patterns.NF.nf (pat s);; |
let f s = Patterns.NF.nf (pat s);; |
| 712 |
let show' t l = Patterns.NF.show Format.std_formatter t (List.map f l);; |
let show' t l = Patterns.NF.show Format.std_formatter t (List.map f l);; |
| 713 |
let show l = show' Types.any l;; |
let show l = show' Types.any l;; |
| 714 |
let showt t l = show' (typ t) l;; |
let showt t l = show' (typ t) l;; |
| 715 |
|
|
| 716 |
|
showt " [(`A `B `C?)*] " [" [ (((x::`A) `B (x::`C))|_)* ] "];; |
| 717 |
|
|
| 718 |
show ["{x=2;y=3}"];; |
show ["{x=2;y=3}"];; |
| 719 |
show [" [((x::1)|(y::2))*] "];; |
show [" [((x::1)|(y::2))*] "];; |
| 720 |
|
|
Parent Directory
| 
Revision Log
| 
Patch