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/compiler/Elaborator/elaborate/tyvarset.sml
ViewVC logotype

Diff of /sml/trunk/compiler/Elaborator/elaborate/tyvarset.sml

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

revision 3875, Thu Mar 27 15:57:14 2014 UTC revision 3876, Thu May 1 14:20:55 2014 UTC
# Line 37  Line 37 
37        if a=b then true        if a=b then true
38        else if Symbol.eq(name_a,name_b) then        else if Symbol.eq(name_a,name_b) then
39              (if eq_a<>eq_b then              (if eq_a<>eq_b then
40                  err EM.COMPLAIN ("type variable " ^ (Symbol.name name_a) ^                  err EM.COMPLAIN ("type variable '" ^ (Symbol.name name_a) ^
41                                " occurs with different equality properties \                                " occurs with different equality properties \
42                                 \in the same scope")                                 \in the same scope")
43                      EM.nullErrorBody                      EM.nullErrorBody

Legend:
Removed from v.3875  
changed lines
  Added in v.3876

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