Parent Directory
| 
Revision Log
| 
Patch
| revision 15 by abate, Tue Jul 10 16:57:55 2007 UTC | revision 16 by abate, Tue Jul 10 16:58:05 2007 UTC | |
|---|---|---|
| # | Line 30 | Line 30 |
| 30 | | RecordLitt of (Types.label * texpr) list | | RecordLitt of (Types.label * texpr) list |
| 31 | ||
| 32 | (* Data destructors *) | (* Data destructors *) |
| 33 | | UnaryOp of Op.unary * texpr | | Op of string * texpr list |
| | BinaryOp of Op.binary * texpr * texpr | ||
| 34 | | Match of texpr * branches | | Match of texpr * branches |
| 35 | | Map of texpr * branches | | Map of texpr * branches |
| 36 | ||
| # | Line 52 | Line 51 |
| 51 | br_pat : tpat; | br_pat : tpat; |
| 52 | br_body : texpr | br_body : texpr |
| 53 | } | } |
|
||||||||
| CVS Admin">CVS Admin | ViewVC Help |
| Powered by ViewVC 1.1.5 |