Searched refs:withMonoType (Results 1 – 2 of 2) sorted by relevance
826 withMonoType :: (Name,Located Type) -> InferM a -> InferM a827 withMonoType (x,lt) = withVar x (Forall [] [] (thing lt)) function831 withMonoTypes xs m = foldr withMonoType m (Map.toList xs)
668 (ms', ds, n') <- withMonoType (x,t) (inferCArm armNum ms)