Searched refs:RigidVar (Results 1 – 6 of 6) sorted by relevance
119 | RigidVar Name.Name constructor312 maybe RigidVar RigidSuper (toSuper name) name372 RigidVar name ->482 RigidVar name ->483 return (ET.RigidVar name)537 ET.RigidVar ext ->671 RigidVar name ->672 addName 0 name var RigidVar takenNames
43 | RigidVar Name.Name constructor101 RigidVar name ->240 (RigidVar x, RigidVar y) | x == y -> same localizer ctx tipe1350 (RigidVar x, other) -> Bag.one $ BadRigidVar x other353 (other, RigidVar x) -> Bag.one $ BadRigidVar x other589 else Different $ Bag.one $ BadRigidVar x (RigidVar y)
194 RigidVar _ ->234 RigidVar _ ->268 RigidVar _ ->294 RigidVar _ ->458 RigidVar _ ->522 RigidVar _ ->
39 RigidVar _ ->
365 RigidVar _ ->621 RigidVar name ->664 RigidVar _ ->
449 T.RigidVar y -> badRigidVar y (toASuperThing super)464 T.RigidVar y -> badDoubleRigid x y479 T.RigidVar y -> badDoubleRigid x y