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-3/compiler/Elaborator/types/unify.sml
ViewVC logotype

Diff of /sml/branches/primop-branch-3/compiler/Elaborator/types/unify.sml

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

revision 2467, Mon Apr 30 14:45:24 2007 UTC revision 2468, Mon Apr 30 16:08:27 2007 UTC
# Line 178  Line 178 
178                (* A headReduceType here may cause instTyvar to                (* A headReduceType here may cause instTyvar to
179                 * infinite loop if this CONty has a nonstrict arg                 * infinite loop if this CONty has a nonstrict arg
180                 * against which we are unifying/instantiating                 * against which we are unifying/instantiating
181                   * Because we may be instantiating to nonstrict
182                   * univariables, it is safer to do an occurrence
183                   * check on all the arguments.
184                 * [GK 4/28/07] *)                 * [GK 4/28/07] *)
185            | iter eq (CONty(tycon,args)) =            | iter eq (CONty(tycon,args)) =
186                (case tyconEqprop tycon                (case tyconEqprop tycon

Legend:
Removed from v.2467  
changed lines
  Added in v.2468

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