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 278, Mon May 17 14:53:49 1999 UTC revision 279, Tue May 18 08:10:36 1999 UTC
# Line 10  Line 10 
10    
11      type primitive      type primitive
12    
13        val eq : primitive * primitive -> bool
14    
15      val fromString : string -> primitive option      val fromString : string -> primitive option
16      val toString : primitive -> string      val toString : primitive -> string
17    
# Line 22  Line 24 
24    
25      datatype primitive = CORE | HELPER      datatype primitive = CORE | HELPER
26    
27        fun eq (p1 : primitive, p2) = p1 = p2
28    
29      fun fromString "primitive_core" = SOME CORE      fun fromString "primitive_core" = SOME CORE
30        | fromString "primitive_helper" = SOME HELPER        | fromString "primitive_helper" = SOME HELPER
31        | fromString _ = NONE        | fromString _ = NONE

Legend:
Removed from v.278  
changed lines
  Added in v.279

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