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 3356, Sun May 17 13:29:59 2009 UTC revision 3357, Sun May 17 13:59:39 2009 UTC
# Line 188  Line 188 
188                        if finaldepth < 0 then bug "Invalid depth calculation"                        if finaldepth < 0 then bug "Invalid depth calculation"
189                        else  LT.tcc_var(finaldepth, num)                        else  LT.tcc_var(finaldepth, num)
190                    end                    end
191                   | (FormalTyc(GENtyc{kind=ABSTRACT(frontEndTyc),...}) =>
192                      primary2tyc(frontEndTyc, cur)
193                   | (FormalTyc(frontEndTyc)) => tycTyc(penv, frontEndTyc, cur)
194                 | (FormalFct _) => bug "unimplemented")                 | (FormalFct _) => bug "unimplemented")
195      in primary2tyc p      in primary2tyc p
196      end      end

Legend:
Removed from v.3356  
changed lines
  Added in v.3357

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