Changes between Version 9 and Version 10 of IntermediateTypes

Show
Ignore:
Timestamp:
08/04/06 07:23:42 (7 years ago)
Author:
guest
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • IntermediateTypes

    v9 v10  
    9595 
    9696{{{ 
    97  
    9897                 ? 
    9998                / \ 
    … …  
    114113        (->)  :: ?? -> ? -> * 
    115114        (\(x::t) -> ...)        Here t::?? (i.e. not unboxed tuple) 
    116  
    117115}}} 
    118116