Compile.hs

module Compile where

import Monad(liftM)

data Compile a = Good a | CompileError String


instance Functor Compile where fmap = liftM

instance Monad Compile where
    return = Good
    m >>= f = case m of
              Good s           -> f s
              CompileError err -> CompileError err

compileError = CompileError