cabaa80 · rowtype-yoga/purescript-native

git.iko.soy/rowtype-yoga/purescript-native

Derive Alternative for the type checking monad.

Fixes a GHC warning that will be an actual error in 7.10.

commitcabaa80efe32386c2ca8f97056bef72d702e9f4e authorSebastiaan Visser <code@fvisser.nl> dateTue 10 Jun 2014, 10:19 (12 years ago) parent598c113

1 file changed+1−1

unifiedsplit

src/Language/PureScript/TypeChecker/Monad.hs+1−1

@@ -136,7 +136,7 @@ data CheckState = CheckState {

136136-- The type checking monad, which provides the state of the type checker, and error reporting capabilities

137137--

138138newtype Check a = Check { unCheck :: StateT CheckState (Either ErrorStack) a }

139− deriving (Functor, Monad, Applicative, MonadPlus, MonadState CheckState, MonadError ErrorStack)

139+ deriving (Functor, Monad, Applicative, Alternative, MonadPlus, MonadState CheckState, MonadError ErrorStack)

140140

141141-- |

142142-- Get the current @Environment@