Dung 1.0 → 1.0.0.1

raw patch · 4 files changed

+29/−7 lines, 4 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

• CHANGELOG +6/−0
• Dung.cabal +2/−1
• exampleaf.txt +15/−0
• src/Main.hs +6/−6

@@ -1,3 +1,9 @@+1.0 => 1.0.0.1+==============+* Fixed the record declaration in Main.hs.++* Added an example file.+ 0.9 => 1.0 ============= This package version is now compatible with the translation package CarneadesIntoDung. 

@@ -1,6 +1,6 @@ name:          Dung category:      Argumentation, Embedded, AI-version:       1.0+version:       1.0.0.1 license:       BSD3 cabal-version: >= 1.6 license-file:  LICENSE@@ -21,6 +21,7 @@  Extra-Source-Files:                            CHANGELOG+                           exampleaf.txt  Library   build-depends:

@@ -0,0 +1,15 @@+arg(a).
+arg(b).
+arg(c).
+arg(d).
+arg(e).
+arg(f).
+arg(g).
+att(a,b).
+att(c,b).
+att(c,d).
+att(d,c).
+att(d,e).
+att(e,g).
+att(f,e).
+att(g,f).

@@ -55,7 +55,7 @@     &= program _PROGRAM_NAME
  
 _PROGRAM_NAME = "Dungell"
-_PROGRAM_VERSION = "1.0"
+_PROGRAM_VERSION = "1.0.0.1"
 _PROGRAM_INFO = _PROGRAM_NAME ++ " version " ++ _PROGRAM_VERSION
 _PROGRAM_ABOUT = "An implementation of Dung's AFs"
 _COPYRIGHT = "(C) Bas van Gijzel 2014"
@@ -72,16 +72,16 @@ optionHandler opts@MyOptions{..}  = do 
     when (null fileName) $ putStrLn "--fileName is blank!" >> exitWith (ExitFailure 1)
     input <- readFile fileName
-    let opts = opts {cegartix = not laxCegartix}
+    let opts' = opts {cegartix = not laxCegartix}
     af <- case parseAF input of 
            Left err -> putStrLn "Parsing error: " >> print err >> exitWith (ExitFailure 1)
            Right af -> return af
-    let opts' = if all 
+    let opts'' = if all 
          then 
-           opts {grounded = True, preferred = True, stable = True, semiStable = True} 
+           opts' {grounded = True, preferred = True, stable = True, semiStable = True} 
          else 
-           opts
-    exec opts' af
+           opts'
+    exec opts'' af
 
 -- |Execute supplied options
 exec :: (Show arg, Eq arg, Ord arg) => MyOptions -> DungAF arg -> IO ()