djinn-ghc 0.0.2 → 0.0.2.1

raw patch · 2 files changed

+6/−2 lines, 2 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

• djinn-ghc.cabal +1/−1
• src/Djinn/GHC.hs +5/−1

@@ -1,5 +1,5 @@ name:           djinn-ghc-version:        0.0.2+version:        0.0.2.1 synopsis:       Generate Haskell code from a type. Bridge from Djinn to GHC API. description:    Djinn uses an theorem prover for intuitionistic propositional logic                 to generate a Haskell expression when given a type.

@@ -1,4 +1,4 @@-{-# LANGUAGE PatternGuards, BangPatterns #-}+{-# LANGUAGE CPP, PatternGuards, BangPatterns #-} module Djinn.GHC (Environment, MaxSolutions(..), djinn) where  import Control.Concurrent@@ -67,7 +67,11 @@     Just (G.ATyCon tycon) | G.isSynTyCon tycon -> do       -- Get information for this type synonym       let tyconName = toHSymbol $ G.tyConName tycon+#if __GLASGOW_HASKELL__ >= 708           Just (vars, defn) = G.synTyConDefn_maybe tycon+#else+          (vars, defn) = G.synTyConDefn tycon+#endif           varsH = map toHSymbol vars           htype = hType defn       -- Recursively obtain it for the environment of the type