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/compiler/Semant/elaborate/precedence.sml
ViewVC logotype

Diff of /sml/trunk/src/compiler/Semant/elaborate/precedence.sml

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

revision 586, Thu Mar 30 05:08:07 2000 UTC revision 587, Thu Mar 30 09:01:52 2000 UTC
# Line 30  Line 30 
30                ("expression or pattern begins with infix identifier \""                ("expression or pattern begins with infix identifier \""
31                 ^ Symbol.name sym ^ "\"") EM.nullErrorBody;                 ^ Symbol.name sym ^ "\"") EM.nullErrorBody;
32                 NONf(e,p))                 NONf(e,p))
33            | ensureNONf _ = EM.impossible "precedence:ensureNONf"
34    
35        fun start token = ensureNONf(token,NILf)        fun start token = ensureNONf(token,NILf)
36    
# Line 70  Line 71 
71    
72              fun endloc[{region=(_,x),item,fixity}] = error(x,x)              fun endloc[{region=(_,x),item,fixity}] = error(x,x)
73                | endloc(_::a) = endloc a                | endloc(_::a) = endloc a
74                  | endloc _ = EM.impossible "precedence:endloc"
75    
76              fun loop(state, a::rest) = loop(parse(state,getfix a),rest)              fun loop(state, a::rest) = loop(parse(state,getfix a),rest)
77                | loop(state,nil) = finish(state, endloc items)                | loop(state,nil) = finish(state, endloc items)
78    
79           in loop(start(getfix item1), items')           in loop(start(getfix item1), items')
80          end          end
81           | _ => EM.impossible "precedence:parse"
82    end    end
83    
84  end (* local *)  end (* local *)

Legend:
Removed from v.586  
changed lines
  Added in v.587

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