Parent Directory
| 
Revision Log
| 
Patch
| revision 9 by abate, Tue Jul 10 16:57:19 2007 UTC | revision 15 by abate, Tue Jul 10 16:57:55 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 | | Op of op * texpr | | UnaryOp of Op.unary * texpr |
| 34 | | BinaryOp of Op.binary * texpr * texpr | |
| 35 | | Match of texpr * branches | | Match of texpr * branches |
| 36 | | Map of texpr * branches | | Map of texpr * branches |
| 37 | ||
| # | Line 52 | Line 53 |
| 53 | br_body : texpr | br_body : texpr |
| 54 | } | } |
| 55 | ||
| and op = string | ||
|
||||||||
| CVS Admin">CVS Admin | ViewVC Help |
| Powered by ViewVC 1.1.5 |