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.sig
ViewVC logotype

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

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

revision 2033, Fri Aug 18 22:58:46 2006 UTC revision 2034, Fri Aug 18 23:43:02 2006 UTC
# Line 43  Line 43 
43  val lt_inst     : lty * tyc list -> lty list  val lt_inst     : lty * tyc list -> lty list
44  val lt_pinst    : lty * tyc list -> lty  val lt_pinst    : lty * tyc list -> lty
45    
46  (*  
47  exception TkTycChk of string (* kind checker exception *)  exception TkTycChk of string (* kind checker exception *)
48  exception LtyAppChk  exception LtyAppChk
49   *)  
50    
51  (* kind checking functions (re-exported here from Lty) *)  (* kind checking functions (re-exported here from Lty) *)
52  val tkTycGen : unit -> (tkindEnv -> tyc -> tkind)  val tkTycGen : unit -> (tkindEnv -> tyc -> tkind)

Legend:
Removed from v.2033  
changed lines
  Added in v.2034

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