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/primop-branch-3/compiler/FLINT/trans/transtypes.sml
ViewVC logotype

Diff of /sml/branches/primop-branch-3/compiler/FLINT/trans/transtypes.sml

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

revision 2397, Wed Apr 11 14:46:59 2007 UTC revision 2398, Wed Apr 11 18:54:53 2007 UTC
# Line 155  Line 155 
155                SOME (tc, od) =>                SOME (tc, od) =>
156                LT.tc_adj(tc, od, d) (* invariant: tc contains no free variables                LT.tc_adj(tc, od, d) (* invariant: tc contains no free variables
157                                      * so tc_adj should have no effects *)                                      * so tc_adj should have no effects *)
   
158              | NONE =>              | NONE =>
159                let fun ttk (GENtyc { arity, ... }) = LT.tkc_int arity                let fun ttk (GENtyc { arity, ... }) = LT.tkc_int arity
160                      | ttk (DEFtyc{tyfun=TYFUN{arity=i, ...},...}) =                      | ttk (DEFtyc{tyfun=TYFUN{arity=i, ...},...}) =

Legend:
Removed from v.2397  
changed lines
  Added in v.2398

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