packages feed

chr-lang 0.1.0.1 → 0.1.1.0

raw patch · 4 files changed

+21/−9 lines, 4 filesdep ~chr-core

Dependency ranges changed: chr-core

Files

ChangeLog.md view
@@ -1,5 +1,17 @@-# Revision history for chr-lang+# Revision history for chr -## 0.1.0.0  -- YYYY-mm-dd+## 0.1.0.3  -- 2018-04-28 -* First version. Released on an unsuspecting world.+* init of infra for factoring out API for storing stuff++## 0.1.0.2  -- 2018-01-07++* haddock build errors fixed++## 0.1.0.1  -- 2018-01-07++* Restructure and refactor to allow 1 constraint lang to be used with multiple term lang++## 0.1.0.0  -- 2017-12-28++* First version.
chr-lang.cabal view
@@ -2,7 +2,7 @@ -- documentation, see http://haskell.org/cabal/users-guide/  name:                chr-lang-version:             0.1.0.1+version:             0.1.1.0 synopsis:            AST + surface language around chr description:         AST + surface language around chr, with executable for parsing and running the evaluator. homepage:            https://github.com/atzedijkstra/chr@@ -50,7 +50,7 @@     chr-parse >= 0.1.0.0,     chr-pretty >= 0.1.0.0,     chr-data >= 0.1.0.0,-    chr-core >= 0.1.0.1+    chr-core >= 0.1.1.0   hs-source-dirs:      src   default-language:    Haskell2010
src/CHR/Language/Examples/Term/AST.hs view
@@ -85,9 +85,9 @@ instance TT.TreeTrieKeyable (Tm' op) where   toTreeTriePreKey1 (Tm_Var  v) = TT.prekey1Wild   toTreeTriePreKey1 (Tm_Int  i) = TT.prekey1 $ Key_Int i-  toTreeTriePreKey1 (Tm_Str  s) = TT.prekey1 $ Key_Str {- $ "Tm_Str:" ++ -} s+  toTreeTriePreKey1 (Tm_Str  s) = TT.prekey1 $ Key_Str s   toTreeTriePreKey1 (Tm_Bool i) = TT.prekey1 $ Key_Int $ fromEnum i-  toTreeTriePreKey1 (Tm_Con c as) = TT.prekey1WithChildren (Key_Str {- $ "Tm_Con:" ++ -} c) as+  toTreeTriePreKey1 (Tm_Con c as) = TT.prekey1WithChildren (Key_Str c) as   toTreeTriePreKey1 (Tm_Op op as) = TT.prekey1WithChildren (Key_Op op) as   toTreeTriePreKey1 (Tm_Lst h _ ) = TT.prekey1WithChildren Key_Lst h
src/CHR/Language/WithTerm/AST.hs view
@@ -103,7 +103,7 @@  instance (TT.TrTrKey (C' tm) ~ TT.TrTrKey tm, TT.TreeTrieKeyable tm) => TT.TreeTrieKeyable (C' tm) where   -- Only necessary for non-builtin constraints-  toTreeTriePreKey1 (C_Con c as) = TT.prekey1WithChildren (Key_Str {- $ "C_Con:" ++ -} c) as+  toTreeTriePreKey1 (C_Con c as) = TT.prekey1WithChildren (Key_Str c) as   toTreeTriePreKey1 _            = TT.prekey1Nil  type E' tm = ()@@ -132,7 +132,7 @@  type instance ExtrValVarKey (G' tm) = Var type instance ExtrValVarKey (C' tm) = Var-type instance ExtrValVarKey (P'  tm) = Var+type instance ExtrValVarKey (P' tm) = Var  type instance CHRMatchableKey (S' (tm op)) = Key' op