github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2025-01-04 13:34:31 +03:00
Code Issues Projects Releases Wiki Activity

remove unused runTypeErrorWith

Browse Source
This commit is contained in:
Charlie Somerville 2018-07-04 15:35:46 +10:00
parent 40b0f51342
commit 1bbca41294
1 changed files with 0 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/Data/Abstract/Type.hs
View File

@ -3,7 +3,6 @@ module Data.Abstract.Type
( Type (..)
, TypeError (..)
, runTypeError
, runTypeErrorWith
, unify
) where
@ -72,8 +71,6 @@ instance Show1 TypeError where liftShowsPrec _ _ = showsPrec
runTypeError :: Effectful m => m (Resumable TypeError ': effects) a -> m effects (Either (SomeExc TypeError) a)
runTypeError = runResumable
runTypeErrorWith :: Effectful m => (forall resume . TypeError resume -> m effects resume) -> m (Resumable TypeError ': effects) a -> m effects a
runTypeErrorWith = runResumableWith
-- | Unify two 'Type's.