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 2053, Mon Aug 28 05:12:11 2006 UTC revision 2054, Mon Aug 28 22:57:54 2006 UTC
# Line 267  Line 267 
267          end          end
268    
269        and h (INSTANTIATED t) = g t        and h (INSTANTIATED t) = g t
270          | h (TV_MARK m) =          | h (TV_MARK(depth,num)) =
271              let val (depth, num) = findLBOUND m  (*            let val (depth, num) = findLBOUND m
272              in              in *)
273                  LT.tcc_var(DI.calc(d, depth), num)                  LT.tcc_var(DI.calc(d, depth), num)
274              end  (*            end *)
275          | h (UBOUND _) = (print "#### toTyc UBOUND!\n"; LT.tcc_void)          | h (UBOUND _) = (print "#### toTyc UBOUND!\n"; LT.tcc_void)
276              (* dbm: should this have been converted to a TV_MARK before              (* dbm: should this have been converted to a TV_MARK before
277               * being passed to toTyc? *)               * being passed to toTyc? *)

Legend:
Removed from v.2053  
changed lines
  Added in v.2054

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