Parent Directory
| 
Revision Log
| 
Patch
| revision 141 by abate, Tue Jul 10 17:09:57 2007 UTC | revision 142 by abate, Tue Jul 10 17:10:00 2007 UTC | |
|---|---|---|
| # | Line 343 | Line 343 |
| 343 | let type_node s = | let type_node s = |
| 344 | let s = typ_node s in | let s = typ_node s in |
| 345 | let s = Types.internalize s in | let s = Types.internalize s in |
| 346 | Types.define s (Types.normalize (Types.descr s)); | (* Types.define s (Types.normalize (Types.descr s)); *) |
| 347 | s | s |
| 348 | ||
| 349 | let rec pat seen s : Patterns.descr = | let rec pat seen s : Patterns.descr = |
|
||||||||
| CVS Admin">CVS Admin | ViewVC Help |
| Powered by ViewVC 1.1.5 |