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/cm/semant/primitive.sml
ViewVC logotype

Diff of /sml/trunk/src/cm/semant/primitive.sml

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

revision 301, Fri May 28 09:43:39 1999 UTC revision 304, Mon May 31 09:10:08 1999 UTC
# Line 16  Line 16 
16      val fromString : string -> primitive option      val fromString : string -> primitive option
17      val toString : primitive -> string      val toString : primitive -> string
18    
19        val toIdent : primitive -> char
20        val fromIdent : char -> primitive option
21    
22      val reqpriv : primitive -> StringSet.set      val reqpriv : primitive -> StringSet.set
23    
24      (* the domain of (lookup p) must always properly include (exports p) *)      (* the domain of (lookup p) must always properly include (exports p) *)
# Line 58  Line 61 
61    
62      fun toString BASIS = "basis"      fun toString BASIS = "basis"
63    
64        fun toIdent BASIS = #"b"
65    
66        fun fromIdent #"b" = SOME BASIS
67          | fromIdent _ = NONE
68    
69      val reqpriv_basis = StringSet.empty      val reqpriv_basis = StringSet.empty
70    
71      fun reqpriv BASIS = reqpriv_basis      fun reqpriv BASIS = reqpriv_basis

Legend:
Removed from v.301  
changed lines
  Added in v.304

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