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

Diff of /sml/branches/primop-branch-2/src/compiler/FLINT/kernel/lty.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 186  Line 186 
186  val lt_nvars : lty -> tvar list  val lt_nvars : lty -> tvar list
187    
188  (* Kind checker *)  (* Kind checker *)
189    exception TkTycChk of string
190  exception LtyAppChk  exception LtyAppChk
191    
192  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