Searched refs:initDs (Results 1 – 5 of 5) sorted by relevance
15 initDs, initDsTc, initTcDsForSolver, initDsWithModGuts, fixDs,181 initDs :: HscEnv -> TcGblEnv -> DsM a -> IO (Messages, Maybe a)182 initDs hsc_env tcg_env thing_inside function
130 ; (msgs, mb_res) <- initDs hsc_env tcg_env $
24 import DsMonad (initDs)355 typeCheck hscenv tcg = fmap snd . initDs hscenv tcg . fmap exprType . dsExpr
1168 NFAStateSet initDs(args.num_states); in hasSquashableInitDs() local1175 initDs.set(sds_state); in hasSquashableInitDs()1184 assert(squashed.size() == initDs.size()); in hasSquashableInitDs()1185 if (squashed.intersects(initDs)) { in hasSquashableInitDs()1197 assert(squashed.size() == initDs.size()); in hasSquashableInitDs()1198 if (squashed.intersects(initDs)) { in hasSquashableInitDs()