Show
Ignore:
Timestamp:
07/07/05 07:44:01 (4 years ago)
Author:
autrijus
svk:copy_cache_prev:
7266
Message:

* Finish the transition from @?CHECK and @?INIT to

@*CHECK and @*INIT.

Files:
1 modified

Legend:

Unmodified
Added
Removed
  • src/Pugs/Compile/Pugs.hs

    r5137 r5266  
    7575 
    7676instance Compile (String, [(TVar Bool, TVar VRef)]) where 
    77     compile ((_:'?':_), _) = return empty -- XXX - @?INIT etc; punt for now 
     77    compile ((_:'?':_), _) = return empty -- XXX - @?S etc; punt for now 
     78    compile ((_:'*':_), _) = return empty -- XXX - @*INIT etc; punt for now 
    7879    compile ((_:'=':_), _) = return empty -- XXX - @=POS etc; punt for now 
    7980    compile (n, tvars) = do