git.iko.soy/elk
on master help sign in
cosmetic: add vertical whitespace
9172af8Evan Czaplicki
src/Type/Unify.hs+2
compare with master
unifiedsplit
@@ -270,6 +270,7 @@ unifyRigid context maybeSuper maybeName otherContent =
270 mismatch context (Just (badRigid maybeName))
270 mismatch context (Just (badRigid maybeName))
271
271
272
272
273+
273-- UNIFY SUPER VARIABLES
274-- UNIFY SUPER VARIABLES
274
275
275
276
@@ -496,6 +497,7 @@ isIntFloat name otherName =
496 Var.isPrim "Int" name && Var.isPrim "Float" otherName
497 Var.isPrim "Int" name && Var.isPrim "Float" otherName
497
498
498
499
500+
499-- UNIFY ALIASES
501-- UNIFY ALIASES
500
502
501
503