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/trunk/src/compiler/FLINT/kernel/ltyextern.sml
ViewVC logotype

Diff of /sml/trunk/src/compiler/FLINT/kernel/ltyextern.sml

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

revision 53, Mon Mar 23 04:02:58 1998 UTC revision 65, Wed Apr 1 20:57:44 1998 UTC
# Line 133  Line 133 
133      val newDict : unit -> dict = ref o TcDict.mkDict      val newDict : unit -> dict = ref o TcDict.mkDict
134    
135      fun recallOrCompute (dict, kenv, tyc, doit) =      fun recallOrCompute (dict, kenv, tyc, doit) =
136          (* what are the free vars of this tyc? *)          (* what are the valuations of tyc's free variables
137             * in kenv? *)
138          (* (might not be available for some tycs) *)          (* (might not be available for some tycs) *)
139          case LK.tc_freevars tyc of          case LK.tkLookupFreeVars (kenv, tyc) of
140              SOME fvs => let              SOME ks_fvs => let
                 (* get valuations of tyc's free variables in kenv *)  
                 val ks_fvs = tkLookupFreeVars (kenv, fvs)  
141                  (* encode those as a kind sequence *)                  (* encode those as a kind sequence *)
142                  val k_fvs = tkc_seq ks_fvs                  val k_fvs = tkc_seq ks_fvs
143                  (* query the dictionary *)                  (* query the dictionary *)

Legend:
Removed from v.53  
changed lines
  Added in v.65

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