Searched refs:addHasGoal (Results 1 – 2 of 2) sorted by relevance
243 go False unsolved [] = mapM_ addHasGoal unsolved
437 addHasGoal :: HasGoal -> InferM ()438 addHasGoal g = IM $ sets_ $ \s -> s { iHasCts = g : iHasCts s } function