← Back to branch summary

~ubuntu-branches/ubuntu/trusty/agda/trusty

« back to all changes in this revision

Viewing changes to src/full/Agda/TypeChecking/Rules/LHS/Unify.hs

  • Committer: Package Import Robot
  • Author(s): Joachim Breitner
  • Date: 2012-03-12 14:12:34 UTC
  • mfrom: (12.1.4 sid)
  • Revision ID: package-import@ubuntu.com-20120312141234-wfgwr3b5u1yswama
Tags: 2.3.0.1-1
http://bugs.debian.org/663048
New upstream release, GHC-7.4.1 compatible (Closes: #663048) 

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/full/Agda/TypeChecking/Rules/LHS/Unify.hs
9
9
import Control.Monad.State
10
10
import Control.Monad.Reader
11
11
import Control.Monad.Error
12
 
import Control.Monad.Writer
 
12
import Control.Monad.Writer (WriterT(..), MonadWriter(..), Monoid(..))
13
13
 
14
14
import Data.Map (Map)
15
15
import qualified Data.Map as Map