Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Tracker SCM

SCM Repository

[smlnj] Diff of /sml/trunk/src/compiler/FLINT/trans/matchcomp.sml
ViewVC logotype

Diff of /sml/trunk/src/compiler/FLINT/trans/matchcomp.sml

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

revision 1333, Thu May 22 17:12:13 2003 UTC revision 1334, Thu May 22 22:46:30 2003 UTC
# Line 1197  Line 1197 
1197        val (code, _, _, exhaustive) =        val (code, _, _, exhaustive) =
1198          doMatchCompile(rules, finish, rootv, toTcLt, err)          doMatchCompile(rules, finish, rootv, toTcLt, err)
1199    
1200        val nonexhaustiveF = !bindNonExhaustiveWarn andalso not exhaustive        val nonexhaustiveF =
1201              not exhaustive andalso
1202              (!bindNonExhaustiveWarn orelse !bindNonExhaustiveError)
1203        val noVarsF = !bindNoVariableWarn andalso noVarsIn rules        val noVarsF = !bindNoVariableWarn andalso noVarsIn rules
1204    
1205     in if nonexhaustiveF     in if nonexhaustiveF
1206        then err EM.WARN ("binding not exhaustive" ^        then err (if !bindNonExhaustiveError then EM.COMPLAIN else EM.WARN)
1207                   ("binding not exhaustive" ^
1208                          (if noVarsF then " and contains no variables" else ""))                          (if noVarsF then " and contains no variables" else ""))
1209                         (bindPrint(env,rules))                         (bindPrint(env,rules))
1210        else if noVarsF        else if noVarsF

Legend:
Removed from v.1333  
changed lines
  Added in v.1334

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