exploring-interpreters 1.5.0.0 → 1.5.0.1

raw patch · 2 files changed

+9/−10 lines, 2 files

Files

• Language/Explorer/Tools/Protocol.hs +5/−6
• exploring-interpreters.cabal +4/−4

@@ -1,6 +1,5 @@ {-# LANGUAGE DeriveGeneric #-} {-# LANGUAGE OverloadedStrings #-}-{-# LANGUAGE DuplicateRecordFields #-} {-# LANGUAGE MultiParamTypeClasses #-}  @@ -103,7 +102,7 @@     toJSON res = object ["post" .= jump_post res]  data ExecuteParams = ExecuteParams {-    program :: String+    paramsProgram :: String } deriving (Show, Generic)  instance FromJSON ExecuteParams@@ -180,8 +179,8 @@     toEncoding = genericToEncoding defaultOptions  data PathParams = PathParams {-    source :: Int,-    target :: Int+    paramsSource :: Int,+    paramsTarget :: Int } deriving (Generic)  instance FromJSON PathParams@@ -245,7 +244,7 @@     (Error e) -> throwE invalidParams     (Success v') -> do         parser <- lift $ ask-        let pl = parser $ program (v' :: ExecuteParams)+        let pl = parser $ paramsProgram v'         case pl of             Just prog -> do                 ex <- lift $ get@@ -322,7 +321,7 @@     (Error e) -> throwE ErrorMessage { code = pathNonExistingCode, message = "", error_data = Nothing}     (Success v) -> do         ex <- lift $ get-        let path = Ex.getPathFromTo ex (source (v :: PathParams)) (target (v :: PathParams))+        let path = Ex.getPathFromTo ex (paramsSource v) (paramsTarget v)         return $ toJSON $ map (\(s, (p, o), t) -> Edge { source = fst s, target = fst t, label = EdgeLabel { program = toJSON p, mval = toJSON o} }) path  getLeaves :: ExceptT ErrorMessage (EIP p IO c o) Value

@@ -1,7 +1,7 @@ cabal-version:       >=1.10  name:                exploring-interpreters-version:             1.5.0.0+version:             1.5.0.1 synopsis:            A generic exploring interpreter for exploratory programming -- synopsis: -- description:@@ -31,7 +31,7 @@   build-depends:       base >=4.9 && <5,       containers >=0.5 && <0.7,-      fgl >= 5.7.0 && < 5.8,+      fgl >= 5.7.0 && < 5.9,       transformers >= 0.5.2 && < 0.6,       mtl          >= 2.2.1 && < 2.3,       aeson                 >= 2.2.1 && < 2.3,@@ -41,8 +41,8 @@       text                  >= 2.1 && < 2.2,       http-types            >= 0.12.3 && < 0.13,       network               >= 3.1.2 && < 3.2,-      haskeline             ==0.8.2,-      exceptions            ==0.10.4+      haskeline             >=0.8.2 && < 0.9,+      exceptions            >=0.10.4 && < 0.11    -- hs-source-dirs:   default-language:    Haskell2010