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

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

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

revision 2030, Fri Aug 18 17:28:28 2006 UTC revision 2031, Fri Aug 18 20:55:00 2006 UTC
# Line 311  Line 311 
311      end      end
312  *)  *)
313    
314    val tkTycGen : unit -> (tkindEnv -> tyc -> tkind) = LT.tkTycGen
315    val tkChkGen : unit -> (tkindEnv -> (tkind * tyc) -> unit) = LT.tkChkGen
316    
317  (* lty application with kind-checking (exported) *)  (* lty application with kind-checking (exported) *)
318  fun lt_inst_chk_gen() = let  fun lt_inst_chk_gen() = let
319      val tkChk = LT.tkChkGen()      val tkChk = LT.tkChkGen()

Legend:
Removed from v.2030  
changed lines
  Added in v.2031

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