Searched refs:RigidSuper (Results 1 – 6 of 6) sorted by relevance
120 | RigidSuper SuperType Name.Name constructor312 maybe RigidVar RigidSuper (toSuper name) name375 RigidSuper _ name ->485 RigidSuper super name ->486 return (ET.RigidSuper (superToSuper super) name)674 RigidSuper super name ->675 addName 0 name var (RigidSuper super) takenNames
197 RigidSuper super _ ->237 RigidSuper _ _ ->271 RigidSuper _ _ ->297 RigidSuper otherSuper _ ->461 RigidSuper _ _ ->525 RigidSuper _ _ ->
44 | RigidSuper Super Name.Name constructor104 RigidSuper _ name ->241 (RigidSuper _ x, RigidSuper _ y) | x == y -> same localizer ctx tipe1352 (RigidSuper s x, other) -> Bag.one $ BadRigidSuper s x other355 (other, RigidSuper s x) -> Bag.one $ BadRigidSuper s x other
42 RigidSuper _ _ ->
368 RigidSuper _ _ ->625 RigidSuper super name ->667 RigidSuper _ _ ->
450 T.RigidSuper s _ -> badRigidSuper s (toASuperThing super)465 T.RigidSuper _ y -> badDoubleRigid x y480 T.RigidSuper _ y -> badDoubleRigid x y