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/ml-nlffigen/ast-to-spec.sml
ViewVC logotype

Diff of /sml/trunk/src/ml-nlffigen/ast-to-spec.sml

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

revision 1038, Mon Jan 28 00:18:03 2002 UTC revision 1039, Mon Jan 28 15:57:11 2002 UTC
# Line 103  Line 103 
103                       Tidtab.insert (tags, tid, s);                       Tidtab.insert (tags, tid, s);
104                       s                       s
105                   end)                   end)
106            | tagname (NONE, SOME n, _) = "_" ^ n            | tagname (NONE, SOME n, _) = "'" ^ n
107            | tagname (SOME n, _, _) =            | tagname (SOME n, _, _) = n
             if String.sub (n, 0) = #"_" then "_" ^ n else n  
108    
109          fun valty A.Void = raise VoidType          fun valty A.Void = raise VoidType
110            | valty A.Ellipses = raise Ellipsis            | valty A.Ellipses = raise Ellipsis
# Line 145  Line 144 
144          and valty_nonvoid t = valty t          and valty_nonvoid t = valty t
145              handle VoidType => err "void variable type"              handle VoidType => err "void variable type"
146    
   
147          and valty_td (A.StructRef tid, tdname) =          and valty_td (A.StructRef tid, tdname) =
148              typeref (tid, Spec.STRUCT, tdname)              typeref (tid, Spec.STRUCT, tdname)
149            | valty_td (A.UnionRef tid, tdname) =            | valty_td (A.UnionRef tid, tdname) =

Legend:
Removed from v.1038  
changed lines
  Added in v.1039

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