Searched refs:FlexVar (Results 1 – 6 of 6) sorted by relevance
117 = FlexVar (Maybe Name.Name) constructor276 FlexVar Nothing306 maybe FlexVar FlexSuper (toSuper name) (Just name)352 FlexVar maybeName ->462 FlexVar maybeName ->465 return (ET.FlexVar name)469 liftIO $ UF.modify variable (\desc -> desc { _content = FlexVar (Just name) })470 return (ET.FlexVar name)534 ET.FlexVar ext ->655 FlexVar maybeName ->[all …]
188 FlexVar _ ->222 FlexVar maybeName ->254 FlexVar _ ->303 FlexVar _ ->452 FlexVar _ ->516 FlexVar _ ->
41 | FlexVar Name.Name constructor95 FlexVar name ->238 (FlexVar x, FlexVar y) | x == y -> same localizer ctx tipe1243 (FlexVar _, _ ) -> similar localizer ctx tipe1 tipe2244 (_ , FlexVar _) -> similar localizer ctx tipe1 tipe2
359 FlexVar _ ->510 | otherwise = FlexVar (Just name)615 FlexVar _ ->622 do UF.set copy $ makeDescriptor $ FlexVar (Just name)658 FlexVar _ ->
33 FlexVar _ ->
447 T.FlexVar _ -> []462 T.FlexVar _ -> []477 T.FlexVar _ -> []