Parent Directory
| 
Revision Log
| 
Patch
| revision 446 by abate, Tue Jul 10 17:35:30 2007 UTC | revision 447 by abate, Tue Jul 10 17:35:35 2007 UTC | |
|---|---|---|
| # | Line 77 | Line 77 |
| 77 | Cduce.toplevel := true; | Cduce.toplevel := true; |
| 78 | Location.push_source `Stream; | Location.push_source `Stream; |
| 79 | let read i = | let read i = |
| 80 | if !bol then outflush "> "; | if !bol then |
| 81 | if !Wlexer.in_comment then outflush "* " else outflush "> "; | |
| 82 | try | try |
| 83 | let c = input_char stdin in | let c = input_char stdin in |
| 84 | bol := c = '\n'; | bol := c = '\n'; |
|
||||||||
| CVS Admin">CVS Admin | ViewVC Help |
| Powered by ViewVC 1.1.5 |