Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Diff of /sml/branches/temi-branch/compiler/ElabData/types/types.sml
ViewVC logotype

Diff of /sml/branches/temi-branch/compiler/ElabData/types/types.sml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 3019, Tue May 6 20:25:44 2008 UTC revision 3020, Wed May 7 02:59:25 2008 UTC
# Line 88  Line 88 
88    | POLYty of {sign: polysign, tyfun: tyfun}    | POLYty of {sign: polysign, tyfun: tyfun}
89    | WILDCARDty    | WILDCARDty
90    | UNDEFty    | UNDEFty
91      | MARKty of ty * SourceMap.region
92    
93  and tyfun  and tyfun
94    = TYFUN of {arity: int, body: ty}    = TYFUN of {arity: int, body: ty}

Legend:
Removed from v.3019  
changed lines
  Added in v.3020

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0