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/ckit/src/ast/state-sig.sml
ViewVC logotype

Diff of /sml/trunk/ckit/src/ast/state-sig.sml

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

revision 1346, Thu Aug 28 17:40:46 2003 UTC revision 1347, Thu Aug 28 21:59:15 2003 UTC
# Line 23  Line 23 
23  (* finite map structures *)  (* finite map structures *)
24    
25    structure ST : ORD_MAP where type Key.ord_key = Symbol.symbol    structure ST : ORD_MAP where type Key.ord_key = Symbol.symbol
26    structure IT : ORD_MAP where type Key.ord_key = Int32.int    structure IT : ORD_MAP where type Key.ord_key = LargeInt.int
27    
28    
29  (* environments *)  (* environments *)
# Line 171  Line 171 
171       switchFuns : (* manipulate current switch context *)       switchFuns : (* manipulate current switch context *)
172        {pushSwitchLabels : unit -> unit, (* enter a switch statement *)        {pushSwitchLabels : unit -> unit, (* enter a switch statement *)
173         popSwitchLabels : unit -> unit,  (* leave a switch statement *)         popSwitchLabels : unit -> unit,  (* leave a switch statement *)
174         addSwitchLabel : Int32.int -> string option,         addSwitchLabel : LargeInt.int -> string option,
175           (* record a new switch label; returns SOME errormsg if duplicate           (* record a new switch label; returns SOME errormsg if duplicate
176            * or not within a switch *)            * or not within a switch *)
177         addDefaultLabel : unit -> string option}}         addDefaultLabel : unit -> string option}}

Legend:
Removed from v.1346  
changed lines
  Added in v.1347

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