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/reps/typeoper.sml
ViewVC logotype

Diff of /sml/trunk/src/compiler/FLINT/reps/typeoper.sml

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

revision 621, Wed Apr 19 22:44:30 2000 UTC revision 622, Wed Apr 19 22:47:11 2000 UTC
# Line 196  Line 196 
196    
197  (* val tkAbsGen : kenv * lvar list * tkind list * lvar * fkind  (* val tkAbsGen : kenv * lvar list * tkind list * lvar * fkind
198                    -> kenv * ((lexp *lexp) -> lexp) *)                    -> kenv * ((lexp *lexp) -> lexp) *)
199  val tkAbsGen = RT.tkAbsGen  (* val tkAbsGen = RT.tkAbsGen *)
200    
201    
202  (* val tkAbs: kenv * (tvar * tkind) list -> kenv * (lexp * lexp -> lexp) *)  (* val tkAbs: kenv * (tvar * tkind) list -> kenv * (lexp * lexp -> lexp) *)

Legend:
Removed from v.621  
changed lines
  Added in v.622

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