funcons-tools 0.2.0.3 → 0.2.0.5

raw patch · 2 files changed

+2/−2 lines, 2 files

Files

funcons-tools.cabal +1/−1
src/Funcons/EDSL.hs +1/−1

funcons-tools.cabal view

@@ -2,7 +2,7 @@ -- documentation, see http://haskell.org/cabal/users-guide/  name:                funcons-tools-version:             0.2.0.3+version:             0.2.0.5 synopsis:            A modular interpreter for executing funcons description:     The PLanCompS project (<http://plancomps.org>) has developed a component-based approach to formal semantics.

src/Funcons/EDSL.hs view

@@ -124,7 +124,7 @@ -- This function has been introduced for easy expression of the -- semantics of builtin identifiers  env_fromlist_ :: [(String, Funcons)] -> Funcons-env_fromlist_ = FMap . concatMap (\(k,v) -> [string_ k, v])+env_fromlist_ = FMap . map (\(k,v) -> tuple_ [string_ k, v])   -- | A funcon library with funcons for builtin types.