djinn 2008.8.10 → 2009.2.1

raw patch · 3 files changed

+8/−8 lines, 3 filesdep +editlinedep −readline

Dependencies added: editline

Dependencies removed: readline

Files

djinn.cabal +4/−4
src/Djinn.hs +3/−3
src/REPL.hs +1/−1

djinn.cabal view

@@ -1,5 +1,5 @@ Name:		djinn-Version:	2008.8.10+Version:	2009.2.1 License:	BSD3 License-file:	LICENSE Author:		Lennart Augustsson@@ -10,13 +10,13 @@ Homepage:	http://www.augustsson.net/Darcs/Djinn/ Synopsis:	Generate Haskell code from a type Build-type:	Simple-Build-Depends:	base, mtl, readline, pretty, array, containers+Build-Depends:	base, mtl, editline, pretty, array, containers  Executable:     djinn Main-Is:        Djinn.hs Hs-Source-Dirs: src Other-modules:  Help, HCheck,  LJT, HTypes, LJTFormula, REPL ---ghc-options:         -O2 -Wall -Werror -optl-Wl-ghc-options:         -Wall -optl-Wl+ghc-options:         -O2 -Wall -optl-Wl+--ghc-options:         -Wall -optl-Wl ghc-prof-options:    -prof -auto-all

src/Djinn.hs view

@@ -21,6 +21,9 @@  --import Debug.Trace +version :: String+version = "version 2009-02-01"+ main :: IO () main = do     args <- getArgs@@ -85,9 +88,6 @@        clss = [("Eq", (["a"], [("==", a `HTArrow` (a `HTArrow` HTCon "Bool"))]))]        a = HTVar "a" --version :: String-version = "version 2008-08-10"  inIt :: State -> IO (String, State) inIt state = do

src/REPL.hs view

@@ -4,7 +4,7 @@ -- module REPL(REPL(..), repl) where import qualified Control.Exception-import System.Console.Readline(readline, addHistory)+import System.Console.Editline.Readline(readline, addHistory)  data REPL s = REPL {     repl_init :: IO (String, s),                -- prompt and initial state