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

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

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

revision 1999, Mon Jul 31 16:05:41 2006 UTC revision 2000, Mon Jul 31 18:07:17 2006 UTC
# Line 94  Line 94 
94  exception tcUnbound  exception tcUnbound
95  val initTycEnv : tycEnv  val initTycEnv : tycEnv
96  val tcInsert : tycEnv * (tyc list option * int) -> tycEnv  val tcInsert : tycEnv * (tyc list option * int) -> tycEnv
97    val tycEnvOut : tycEnv -> tycI
98    
99  (** testing if a tyc (or lty) is in the normal form *)  (** testing if a tyc (or lty) is in the normal form *)
100  val tcp_norm : tyc -> bool  val tcp_norm : tyc -> bool

Legend:
Removed from v.1999  
changed lines
  Added in v.2000

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