ivor 0.1.10.1 → 0.1.11
raw patch · 4 files changed
+3/−8 lines, 4 filesdep ~base
Dependency ranges changed: base
Files
- Ivor/MakeData.lhs +0/−2
- Ivor/TT.lhs +0/−2
- Ivor/Tactics.lhs +0/−2
- ivor.cabal +3/−2
Ivor/MakeData.lhs view
@@ -1,5 +1,3 @@-> {-# OPTIONS_GHC -fglasgow-exts #-}- > module Ivor.MakeData where > import Ivor.TTCore
Ivor/TT.lhs view
@@ -1,5 +1,3 @@-> {-# OPTIONS_GHC -fglasgow-exts #-}- > -- | > -- Module : Ivor.TT > -- Copyright : Edwin Brady
Ivor/Tactics.lhs view
@@ -1,5 +1,3 @@-> {-# OPTIONS_GHC -fglasgow-exts #-}- > module Ivor.Tactics where > import Ivor.TTCore
ivor.cabal view
@@ -1,5 +1,5 @@ Name: ivor-Version: 0.1.10.1+Version: 0.1.11 Author: Edwin Brady License: BSD3 License-file: LICENSE@@ -62,7 +62,8 @@ Build-type: Simple Extensions: MultiParamTypeClasses, FunctionalDependencies,- ExistentialQuantification, OverlappingInstances+ ExistentialQuantification, OverlappingInstances,+ TypeSynonymInstances, PatternGuards -- Needs some -Wall cleanup -- GHC-options: -Wall