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/blume-private-devel/src/compiler/Elaborator/types/unify.sml
ViewVC logotype

Diff of /sml/branches/blume-private-devel/src/compiler/Elaborator/types/unify.sml

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

revision 1421, Thu Nov 6 20:42:18 2003 UTC revision 1422, Thu Nov 13 21:28:06 2003 UTC
# Line 180  Line 180 
180                      else app (iter false) args)                      else app (iter false) args)
181   (* BUG? why don't these cases blow up (in tyconEqprop) when iter is applied   (* BUG? why don't these cases blow up (in tyconEqprop) when iter is applied
182      to arguments that are unreduced applications of DEFtycs? *)      to arguments that are unreduced applications of DEFtycs? *)
183            | iter _ (POLYty _) = bug "adjustType 1"            | iter _ (POLYty _) = bug "adjustType POLYty"
184            | iter _ (IBOUND _) = bug "adjustType 2"            | iter _ (IBOUND _) = bug "adjustType IBOUND"
185            | iter _ _ = bug "adjustType 3"            | iter _ UNDEFty = bug "adjustType UNDEFty"
186       in iter eq ty       in iter eq ty
187      end      end
188    

Legend:
Removed from v.1421  
changed lines
  Added in v.1422

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