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/branches/primop-branch-2/src/compiler/ElabData/types/typesutil.sml
ViewVC logotype

Diff of /sml/branches/primop-branch-2/src/compiler/ElabData/types/typesutil.sml

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

revision 903, Mon Aug 20 19:34:06 2001 UTC revision 1861, Mon Nov 7 18:17:09 2005 UTC
# Line 48  Line 48 
48      OPEN{kind=FLEX fields, depth=depth, eq=false}      OPEN{kind=FLEX fields, depth=depth, eq=false}
49    
50  fun extract_varname_info name =  fun extract_varname_info name =
51      let val name = SS.triml 1 (SS.all name)  (* remove leading "'" *)      let val name = SS.triml 1 (SS.full name)  (* remove leading "'" *)
52          val (name, eq) =          val (name, eq) =
53            if SS.sub(name,0) = #"'"      (* initial "'" signifies equality *)            if SS.sub(name,0) = #"'"      (* initial "'" signifies equality *)
54            then (SS.triml 1 name,true)            then (SS.triml 1 name,true)

Legend:
Removed from v.903  
changed lines
  Added in v.1861

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