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-2/src/compiler/FLINT/trans/transtypes.sml
ViewVC logotype

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

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

revision 2005, Tue Aug 1 23:01:55 2006 UTC revision 2006, Wed Aug 2 20:59:42 2006 UTC
# Line 294  Line 294 
294                 else LT.tcc_app(tycTyc(tc, d), [g t1, g t2])                 else LT.tcc_app(tycTyc(tc, d), [g t1, g t2])
295               | _ => LT.tcc_app (tycTyc (tc, d), map g ts))               | _ => LT.tcc_app (tycTyc (tc, d), map g ts))
296          | g (CONty(tyc, ts)) = LT.tcc_app(tycTyc(tyc, d), map g ts)          | g (CONty(tyc, ts)) = LT.tcc_app(tycTyc(tyc, d), map g ts)
297          | g (IBOUND i) = bug "unexpected IBOUND - outside of POLYty"          | g (IBOUND i) = LT.tcc_var(DI.innermost, i)
298                             (* LT.tcc_var(DI.innermost, i) *)                           (* [KM???] If we do not expect POLYty's, we definitely
                          (* [KM] If we do not expect POLYty's, we definitely  
299                              do not expect IBOUNDs because IBOUNDs are                              do not expect IBOUNDs because IBOUNDs are
300                              supposed to be found only without                              supposed to be found only without
301                              POLYty's *)                              POLYty's *)

Legend:
Removed from v.2005  
changed lines
  Added in v.2006

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