Searched refs:FlexSuper (Results 1 – 6 of 6) sorted by relevance
118 | FlexSuper SuperType (Maybe Name.Name) constructor296 FlexSuper super Nothing306 maybe FlexVar FlexSuper (toSuper name) (Just name)362 FlexSuper super maybeName ->369 … liftIO $ UF.modify variable (\desc -> desc { _content = FlexSuper super (Just name) })472 FlexSuper super maybeName ->475 return (ET.FlexSuper (superToSuper super) name)479 liftIO $ UF.modify variable (\desc -> desc { _content = FlexSuper super (Just name) })480 return (ET.FlexSuper (superToSuper super) name)663 FlexSuper super maybeName ->[all …]
42 | FlexSuper Super Name.Name constructor98 FlexSuper _ name ->239 (FlexSuper _ x, FlexSuper _ y) | x == y -> same localizer ctx tipe1246 (FlexSuper s _, t ) | isSuper s t -> similar localizer ctx tipe1 tipe2247 (t , FlexSuper s _) | isSuper s t -> similar localizer ctx tipe1 tipe2351 (FlexSuper s x, other) -> Bag.one $ BadFlexSuper Have s x other354 (other, FlexSuper s x) -> Bag.one $ BadFlexSuper Need s x other
362 FlexSuper _ _ ->506 | Name.isNumberType name = FlexSuper Number (Just name)507 | Name.isComparableType name = FlexSuper Comparable (Just name)508 | Name.isAppendableType name = FlexSuper Appendable (Just name)509 | Name.isCompappendType name = FlexSuper CompAppend (Just name)618 FlexSuper _ _ ->626 do UF.set copy $ makeDescriptor $ FlexSuper super (Just name)661 FlexSuper _ _ ->
191 FlexSuper super _ ->231 FlexSuper _ _ ->257 FlexSuper otherSuper _ ->306 FlexSuper otherSuper _ ->455 FlexSuper _ _ ->519 FlexSuper super _ ->
36 FlexSuper _ _ ->
448 T.FlexSuper s _ -> badFlexFlexSuper super s463 T.FlexSuper s _ -> badRigidVar x (toASuperThing s)478 T.FlexSuper s _ -> badRigidSuper super (toASuperThing s)1242 T.FlexSuper T.Number _ -> ANumber "number" "String.fromInt"