Safe Haskell | None |
---|---|
Language | Haskell98 |
Documentation
reportAllUnsolved :: WantedConstraints -> TcM ()Source
warnDefaulting :: Cts -> Type -> TcM ()Source
solverDepthErrorTcS :: SubGoalCounter -> CtEvidence -> TcM aSource
Safe Haskell | None |
---|---|
Language | Haskell98 |
reportAllUnsolved :: WantedConstraints -> TcM ()Source
warnDefaulting :: Cts -> Type -> TcM ()Source
solverDepthErrorTcS :: SubGoalCounter -> CtEvidence -> TcM aSource