git.iko.soy/elk
on master help sign in
Detect when there are super similarities
c005208Evan Czaplicki
compiler/src/Type/Error.hs+21
compare with master
unifiedsplit
@@ -245,6 +245,9 @@ toDiff localizer ctx tipe1 tipe2 =
245 (FlexVar _, _ ) -> similar localizer ctx tipe1 tipe2
245 (FlexVar _, _ ) -> similar localizer ctx tipe1 tipe2
246 (_ , FlexVar _) -> similar localizer ctx tipe1 tipe2
246 (_ , FlexVar _) -> similar localizer ctx tipe1 tipe2
247
247
248+ (FlexSuper s _, t ) | isSuper s t -> similar localizer ctx tipe1 tipe2
249+ (t , FlexSuper s _) | isSuper s t -> similar localizer ctx tipe1 tipe2
250+
248 (Lambda a b cs, Lambda x y zs) ->
251 (Lambda a b cs, Lambda x y zs) ->
249 if length cs == length zs then
252 if length cs == length zs then
250 RT.lambda ctx
253 RT.lambda ctx
@@ -409,6 +412,24 @@ isList home name =
409
412
410
413
411
414
415+-- IS SUPER?
416+
417+
418+isSuper :: Super -> Type -> Bool
419+isSuper super tipe =
420+ case iteratedDealias tipe of
421+ Type h n args ->
422+ case super of
423+ Number -> isInt h n || isFloat h n
424+ Comparable -> isInt h n || isFloat h n || isString h n || isChar h n || isList h n && isSuper super (head args)
425+ Appendable -> isString h n || isList h n
426+ CompAppend -> isString h n || isList h n && isSuper Comparable (head args)
427+
428+ _ ->
429+ False
430+
431+
432+
412-- DIFF ALIASED RECORD
433-- DIFF ALIASED RECORD
413
434
414
435