libcspm 0.1 → 0.1.1
raw patch · 4 files changed
+22/−5 lines, 4 files
Files
- CHANGELOG.txt +5/−0
- README.md +1/−1
- libcspm.cabal +8/−4
- src/CSPM.hs +8/−0
+ CHANGELOG.txt view
@@ -0,0 +1,5 @@+0.1.1 Thomas Gibson-Robinson <thomas.gibsonrobinson@gmail.com> 2011-11-03+ * Fix the build of cspmchecker.++0.1 Thomas Gibson-Robinson <thomas.gibsonrobinson@gmail.com> 2011-11-03+ * Initial Release.
README.md view
@@ -50,7 +50,7 @@ Usage of libcspm ---------------- -See http://tomgr.github.com/libcspm/doc/libcspm/index.html for documentation.+See http://hackage.haskell.org/package/libcspm for documentation. Testing -------
libcspm.cabal view
@@ -10,9 +10,10 @@ Build-type: Simple Cabal-version: >=1.9.2 Synopsis: A library providing a parser, type checker and evaluator for CSPM.-Version: 0.1+Version: 0.1.1 Extra-source-files: - README.md + README.md,+ CHANGELOG.txt Source-Repository head type: git@@ -21,7 +22,7 @@ Source-repository this type: git location: https://github.com/tomgr/libcspm- tag: 0.1+ tag: release-0.1.1 Library Build-Depends:@@ -84,7 +85,10 @@ Util.PartialFunctions, Util.Prelude, Util.PrettyPrint- + + Other-Modules:+ Paths_libcspm+ Hs-Source-Dirs: src Extensions: DoAndIfThenElse
src/CSPM.hs view
@@ -18,11 +18,14 @@ -- * Evaluator API evaluateExp, bindFile, bindDeclaration, getBoundNames,+ -- * Misc functions+ getLibCSPMVersion ) where import Control.Monad.State import Control.Monad.Trans+import Data.Version import System.FilePath import System.IO @@ -34,6 +37,7 @@ import qualified CSPM.Parser as P import qualified CSPM.TypeChecker as TC import qualified CSPM.Desugar as DS+import Paths_libcspm (version) import Util.Annotated import Util.Exception import Util.PrettyPrint@@ -185,3 +189,7 @@ -- | Evaluates the expression in the current context. evaluateExp :: CSPMMonad m => TCExp -> m Value evaluateExp e = runEvaluatorInCurrentState (EV.evaluateExp e)++-- | Return the version of libcspm that is being used.+getLibCSPMVersion :: Version+getLibCSPMVersion = version