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/trunk/src/compiler/Elaborator/modules/instantiate.sml
ViewVC logotype

Diff of /sml/trunk/src/compiler/Elaborator/modules/instantiate.sml

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

revision 1369, Sat Sep 13 23:11:20 2003 UTC revision 1370, Mon Sep 15 03:38:25 2003 UTC
# Line 48  Line 48 
48    
49      val tvi_exn : { depth: DebIndex.depth, num: int, kind: tkind } -> exn      val tvi_exn : { depth: DebIndex.depth, num: int, kind: tkind } -> exn
50    
51    (* PRIMOP:
52      val ii2ty : II.ii -> Types.ty option      val ii2ty : II.ii -> Types.ty option
53    *)
54  end  end
55    
56  signature INSTANTIATE =  signature INSTANTIATE =

Legend:
Removed from v.1369  
changed lines
  Added in v.1370

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