syntactic 0.8 → 0.9

raw patch · 4 files changed

+11/−6 lines, 4 filesdep −QuickCheck

Dependencies removed: QuickCheck

Files

Language/Syntactic.hs +2/−0
Language/Syntactic/Constructs/Binding.hs +4/−3
Language/Syntactic/Interpretation/Semantics.hs +4/−1
syntactic.cabal +1/−2

Language/Syntactic.hs view

@@ -8,6 +8,7 @@     , module Language.Syntactic.Interpretation.Equality     , module Language.Syntactic.Interpretation.Render     , module Language.Syntactic.Interpretation.Evaluation+    , module Language.Syntactic.Interpretation.Semantics     ) where  @@ -16,4 +17,5 @@ import Language.Syntactic.Interpretation.Equality import Language.Syntactic.Interpretation.Render import Language.Syntactic.Interpretation.Evaluation+import Language.Syntactic.Interpretation.Semantics

Language/Syntactic/Constructs/Binding.hs view

@@ -307,7 +307,7 @@     prjVarEqEnv = id     modVarEqEnv = id -class VarEqEnv env => AlphaEq sub1 sub2 dom env+class AlphaEq sub1 sub2 dom env   where     alphaEqSym         :: (Signature a, Signature b)@@ -383,12 +383,13 @@     alphaEqSym a aArgs b bArgs =         alphaEqSym (decorExpr a) aArgs (decorExpr b) bArgs -instance AlphaEq dom dom dom env => AlphaEq (Lambda ctx) (Lambda ctx) dom env+instance (AlphaEq dom dom dom env, VarEqEnv env) =>+    AlphaEq (Lambda ctx) (Lambda ctx) dom env   where     alphaEqSym (Lambda v1) (body1 :* Nil) (Lambda v2) (body2 :* Nil) =         local (modVarEqEnv ((v1,v2):)) $ alphaEqM body1 body2 -instance AlphaEq dom dom dom env =>+instance (AlphaEq dom dom dom env, VarEqEnv env) =>     AlphaEq (Variable ctx) (Variable ctx) dom env   where     alphaEqSym (Variable v1) Nil (Variable v2) Nil = do

Language/Syntactic/Interpretation/Semantics.hs view

@@ -9,7 +9,10 @@ import Data.Hash import Data.Proxy -import Language.Syntactic+import Language.Syntactic.Syntax+import Language.Syntactic.Interpretation.Equality+import Language.Syntactic.Interpretation.Render+import Language.Syntactic.Interpretation.Evaluation

syntactic.cabal view

@@ -1,5 +1,5 @@ Name:           syntactic-Version:        0.8+Version:        0.9 Synopsis:       Generic abstract syntax, and utilities for embedded languages Description:    This library provides:                 .@@ -86,7 +86,6 @@     containers,     data-hash,     mtl >= 2 && < 3,-    QuickCheck >= 2.4,     tagged,     transformers >= 0.2,     tuple >= 0.2