Browse files

Remove -fglasgow-exts

Ignore-this: 116cbd57d6db320e1e6722da3f9451e6

darcs-hash:20091221010416-228f4-8cc2817fd64e099986a8ae7ae7b78f971435fa49.gz
  • Loading branch information...
1 parent 0197521 commit 203a4359a75611b4e868f5daf0c58d515b1b8ace eb committed Dec 21, 2009
Showing with 3 additions and 8 deletions.
  1. +0 −2 Ivor/MakeData.lhs
  2. +0 −2 Ivor/TT.lhs
  3. +0 −2 Ivor/Tactics.lhs
  4. +3 −2 ivor.cabal
View
2 Ivor/MakeData.lhs
@@ -1,5 +1,3 @@
-> {-# OPTIONS_GHC -fglasgow-exts #-}
-
> module Ivor.MakeData where
> import Ivor.TTCore
View
2 Ivor/TT.lhs
@@ -1,5 +1,3 @@
-> {-# OPTIONS_GHC -fglasgow-exts #-}
-
> -- |
> -- Module : Ivor.TT
> -- Copyright : Edwin Brady
View
2 Ivor/Tactics.lhs
@@ -1,5 +1,3 @@
-> {-# OPTIONS_GHC -fglasgow-exts #-}
-
> module Ivor.Tactics where
> import Ivor.TTCore
View
5 ivor.cabal
@@ -1,5 +1,5 @@
Name: ivor
-Version: 0.1.10
+Version: 0.1.10.1
Author: Edwin Brady
License: BSD3
License-file: LICENSE
@@ -62,7 +62,8 @@ Build-depends: base >=3 && <5, parsec, mtl, directory, binary
Build-type: Simple
Extensions: MultiParamTypeClasses, FunctionalDependencies,
- ExistentialQuantification, OverlappingInstances
+ ExistentialQuantification, OverlappingInstances,
+ TypeSynonymInstances, PatternGuards
-- Needs some -Wall cleanup
-- GHC-options: -Wall

0 comments on commit 203a435

Please sign in to comment.