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

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

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

revision 2013, Fri Aug 11 04:09:23 2006 UTC revision 2014, Fri Aug 11 20:42:24 2006 UTC
# Line 115  Line 115 
115  val tkInsert : tkindEnv * tkind list -> tkindEnv  val tkInsert : tkindEnv * tkind list -> tkindEnv
116    
117  (** utility functions on tycEnv *)  (** utility functions on tycEnv *)
118  exception tcUnbound of LtyKernel.tycEnv * LtyKernel.tyc  exception tcUnbound
119  type tycEnv = LtyKernel.tycEnv  type tycEnv = LtyKernel.tycEnv
120  val initTycEnv : tycEnv  val initTycEnv : tycEnv
121  val tcInsert : tycEnv * (tyc list option * int) -> tycEnv  val tcInsert : tycEnv * (tyc list option * int) -> tycEnv

Legend:
Removed from v.2013  
changed lines
  Added in v.2014

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