Changes between Version 9 and Version 10 of IntermediateTypes


Ignore:
Timestamp:
Aug 4, 2006 2:23:42 PM (9 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