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/depend/to-portable.sml
ViewVC logotype

Diff of /sml/trunk/src/cm/depend/to-portable.sml

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

revision 977, Wed Nov 14 16:53:16 2001 UTC revision 1011, Thu Jan 10 20:22:04 2002 UTC
# Line 157  Line 157 
157                      SOME v => v                      SOME v => v
158                    | NONE => let val (p, ns) =                    | NONE => let val (p, ns) =
159                                      case Symbol.nameSpace s of                                      case Symbol.nameSpace s of
160                                          Symbol.SIGspace => ("sig", "SIG")                                          Symbol.SIGspace => ("sgn", P.SGN)
161                                        | Symbol.STRspace => ("str", "STR")                                        | Symbol.STRspace => ("str", P.STR)
162                                        | Symbol.FCTspace => ("fct", "FCT")                                        | Symbol.FCTspace => ("fct", P.FCT)
163                                        | Symbol.FSIGspace => ("fsg", "FSIG")                                        | Symbol.FSIGspace =>
164                                            raise Fail "funsig not permitted in portable graphs"
165                                        | _ => raise Fail "unexpected namespace"                                        | _ => raise Fail "unexpected namespace"
166                                  val v = gensym p                                  val v = gensym p
167                              in                              in

Legend:
Removed from v.977  
changed lines
  Added in v.1011

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