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/kernel/ltykernel.sml
ViewVC logotype

Diff of /sml/branches/primop-branch-2/src/compiler/FLINT/kernel/ltykernel.sml

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

revision 2000, Mon Jul 31 18:07:17 2006 UTC revision 2001, Mon Jul 31 18:50:45 2006 UTC
# Line 590  Line 590 
590    
591  in  in
592    
593  exception tcUnbound  exception tcUnbound of tycEnv
594  val initTycEnv : tycEnv = tc_void  val initTycEnv : tycEnv = tc_void
595    
596  fun tcLookup(i, tenv : tycEnv) =  fun tcLookup(i, tenv : tycEnv) =
# Line 599  Line 599 
599                              | _ => bug "unexpected tycEnv in tcLookup")                              | _ => bug "unexpected tycEnv in tcLookup")
600        else if i = 1 then        else if i = 1 then
601               (case tc_outX tenv of TC_ARROW(_,[x],_) => tc_interp x               (case tc_outX tenv of TC_ARROW(_,[x],_) => tc_interp x
602                                   | _ => raise tcUnbound)                                   | _ => raise tcUnbound tenv)
603             else bug "unexpected argument in tcLookup"             else bug "unexpected argument in tcLookup"
604    
605  fun tcInsert(tenv : tycEnv, et) = tc_cons(tc_encode et, tenv)  fun tcInsert(tenv : tycEnv, et) = tc_cons(tc_encode et, tenv)
# Line 807  Line 807 
807                       print ("ts length: "^(Int.toString(length ts))^"\n");                       print ("ts length: "^(Int.toString(length ts))^"\n");
808                       print ("ts elements: \n");                       print ("ts elements: \n");
809                       app (fn tc => (print(tc_print tc); print "\n")) ts;                       app (fn tc => (print(tc_print tc); print "\n")) ts;
810                                                     raise tcUnbound)                                                     raise tcUnbound tenv)
811                                        in h(y, 0, nl - n, initTycEnv)                                        in h(y, 0, nl - n, initTycEnv)
812                                       end)                                       end)
813                            end)                            end)

Legend:
Removed from v.2000  
changed lines
  Added in v.2001

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