Searched refs:optUniverseCheck (Results 1 – 2 of 2) sorted by relevance
273 , optUniverseCheck = True function355 [ "--type-in-type" | not (optUniverseCheck opts) ] ++380 , (B . not . optUniverseCheck, "--type-in-type")605 dontUniverseCheckFlag o = return $ o { optUniverseCheck = False }
283 typeInType = not . optUniverseCheck <$> pragmaOptions