Home My Page Projects Code Snippets Project Openings diderot
Summary Activity Tracker Tasks SCM

SCM Repository

[diderot] Diff of /trunk/src/ast/types.sml
ViewVC logotype

Diff of /trunk/src/ast/types.sml

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

revision 68, Tue May 18 16:51:30 2010 UTC revision 69, Tue May 18 21:23:53 2010 UTC
# Line 54  Line 54 
54    
55      and nat      and nat
56        = NatConst of int                 (* i *)        = NatConst of int                 (* i *)
57        | NatExp of (nat * int)           (* d + i *)        | NatExp of (nat * int)           (* d + i; for diff fields only *)
58        | NatVar of var        | NatVar of var
59    
60    (* type variables; the kind field restricts their range *)    (* type variables; the kind field restricts their range *)

Legend:
Removed from v.68  
changed lines
  Added in v.69

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