Parent Directory
| 
Revision Log
| 
Patch
| revision 1489 by abate, Tue Jul 10 18:55:05 2007 UTC | revision 1493 by abate, Tue Jul 10 18:55:23 2007 UTC | |
|---|---|---|
| # | Line 1708 | Line 1708 |
| 1708 | and attr_uses (attrs,other) = | and attr_uses (attrs,other) = |
| 1709 | (* TODO: produce directly internal types *) | (* TODO: produce directly internal types *) |
| 1710 | (* (is it better ? we wouln't benefit from hash-consing) *) | (* (is it better ? we wouln't benefit from hash-consing) *) |
| print_endline ("Other = " ^ (if other then "true" else "false")); | ||
| 1711 | let fields = | let fields = |
| 1712 | List.map | List.map |
| 1713 | (fun at -> | (fun at -> |
|
||||||||
| CVS Admin">CVS Admin | ViewVC Help |
| Powered by ViewVC 1.1.5 |