Parent Directory
| 
Revision Log
| 
Patch
| revision 16 by abate, Tue Jul 10 16:58:05 2007 UTC | revision 18 by abate, Tue Jul 10 16:58:28 2007 UTC | |
|---|---|---|
| # | Line 15 | Line 15 |
| 15 | ||
| 16 | and pexpr = pexpr' located | and pexpr = pexpr' located |
| 17 | and pexpr' = | and pexpr' = |
| 18 | (* For debugging the typer: an expression with prescribed type *) | |
| 19 | | DebugTyper of ppat | |
| 20 | ||
| 21 | (* CDuce is a Lambda-calculus ... *) | (* CDuce is a Lambda-calculus ... *) |
| 22 | | Var of string | | Var of string |
|
||||||||
| CVS Admin">CVS Admin | ViewVC Help |
| Powered by ViewVC 1.1.5 |