Port to NanoProlog 0.3

spockz · Dec 31, 2011 · 9f53fa2 · 9f53fa2
1 parent b499373
commit 9f53fa2
Show file tree

Hide file tree

Showing 3 changed files with 8 additions and 5 deletions.
diff --git a/JCU.cabal b/JCU.cabal
@@ -53,11 +53,11 @@ Executable jcu
     ListLike >= 3.1 && < 3.2,
     MonadCatchIO-transformers >= 0.2.1 && < 0.3,
     mtl >= 2.0,
-    NanoProlog == 0.2.3.3,
+    NanoProlog >= 0.3,
     snap >= 0.6,
     snap-core >= 0.6,
     snap-server >= 0.6,
-    snaplet-hdbc >= 0.6.3,
+    snaplet-hdbc >= 0.7.2,
     text >= 0.11,
     time >= 1.1 && < 1.5,
     transformers >= 0.2,

diff --git a/src/Application.hs b/src/Application.hs
@@ -31,6 +31,7 @@ import            JCU.Prolog
 import            JCU.Templates
 import            JCU.Types
 import            Language.Prolog.NanoProlog.NanoProlog
+import            Language.Prolog.NanoProlog.Parser
 import            Prelude hiding (catch)
 import            Snap.Core
 import            Snap.Snaplet

diff --git a/src/JCU/Types.hs b/src/JCU/Types.hs
@@ -14,14 +14,16 @@ import            Data.ListLike (CharStringLazy(..))
 import            Data.String
 import            Data.Tree (Tree(..))
 import            Language.Prolog.NanoProlog.NanoProlog
+import            Language.Prolog.NanoProlog.Parser
 import            Text.ParserCombinators.UU.BasicInstances (Parser(), Error, LineColPos)
 
 
-data DBRule = DBRule {
-     ruleId     :: Int
+data DBRule
+  =  DBRule
+  {  ruleId     :: Int
   ,  ruleOrder  :: Int
   ,  rule       :: Rule
-}
+  }
 
 data DropReq   =  DropReq Proof [Int] Rule
                deriving Show