syntactic 1.16.2 → 1.17

raw patch · 7 files changed

+11/−9 lines, 7 filesdep ~basedep ~tree-view

Dependency ranges changed: base, tree-view

Files

• examples/NanoFeldspar/Vector.hs +0/−1
• src/Data/DynamicAlt.hs +1/−1
• src/Language/Syntactic/Constraint.hs +3/−0
• src/Language/Syntactic/Constructs/Binding/Optimize.hs +1/−1
• src/Language/Syntactic/Constructs/Decoration.hs +2/−2
• src/Language/Syntactic/Interpretation/Render.hs +1/−1
• syntactic.cabal +3/−3

@@ -33,7 +33,6 @@  instance Syntax a => Syntactic (Vector a)   where-    {-# SPECIALIZE instance Syntax a => Syntactic (Vector a) #-}     {-# INLINABLE desugar #-}     {-# INLINABLE sugar #-}     type Domain (Vector a)   = FeldDomainAll

@@ -6,7 +6,7 @@  import Data.Dynamic () import Data.Typeable-import GHC.Prim+import GHC.Exts import Unsafe.Coerce  import Data.PolyProxy

@@ -3,6 +3,9 @@ {-# LANGUAGE OverlappingInstances #-} #endif {-# LANGUAGE UndecidableInstances #-}+#if defined(__GLASGOW_HASKELL__) && (__GLASGOW_HASKELL__ >= 800)+{-# LANGUAGE UndecidableSuperClasses #-}+#endif   -- | Type-constrained syntax trees

@@ -115,7 +115,7 @@   where     {-# SPECIALIZE instance Optimize Empty #-}     {-# INLINABLE optimizeSym #-}-    optimizeSym = error "Not implemented: optimizeSym for Empty"+    optimizeSym _ _ _ _ = error "Not implemented: optimizeSym for Empty"  instance Optimize dom => Optimize (SubConstr1 c dom p)   where

@@ -136,11 +136,11 @@ writeHtmlDecorWith :: forall info sym a. (StringTree sym)                    => (forall sig. info sig -> String)                    -> FilePath -> ASTF (Decor info sym) a -> IO ()-writeHtmlDecorWith showInfo file = writeHtmlTree file . mkTree []+writeHtmlDecorWith showInfo file = writeHtmlTree Nothing file . mkTree []   where     mkTree :: [Tree NodeInfo] -> AST (Decor info sym) sig -> Tree NodeInfo     mkTree args (f :$ a) = mkTree (mkTree [] a : args) f-    mkTree args (Sym (Decor info expr)) = Node (NodeInfo (renderSym expr) (showInfo info)) args+    mkTree args (Sym (Decor info expr)) = Node (NodeInfo InitiallyExpanded (renderSym expr) (showInfo info)) args  -- | Strip decorations from an 'AST' stripDecor :: AST (Decor info dom) sig -> AST dom sig

@@ -128,5 +128,5 @@ {-# INLINABLE drawAST #-}  writeHtmlAST :: StringTree sym => FilePath -> ASTF sym a -> IO ()-writeHtmlAST file = writeHtmlTree file . fmap (\n -> NodeInfo n "") . stringTree+writeHtmlAST file = writeHtmlTree Nothing file . fmap (\n -> NodeInfo InitiallyExpanded n "") . stringTree {-# INLINABLE writeHtmlAST #-}

@@ -1,5 +1,5 @@ Name:           syntactic-Version:        1.16.2+Version:        1.17 Synopsis:       Generic abstract syntax, and utilities for embedded languages Description:    This library provides:                 .@@ -101,7 +101,7 @@    build-depends:     array,-    base >= 4 && < 4.9,+    base >= 4 && < 5.9,     containers,     constraints,     data-hash,@@ -109,7 +109,7 @@     mtl >= 2 && < 3,     template-haskell,     transformers >= 0.2,-    tree-view,+    tree-view >= 0.5,     tuple >= 0.2    hs-source-dirs: src