djinn-ghc 0.0.2.2 → 0.0.2.3

raw patch · 2 files changed

+6/−2 lines, 2 filesdep ~djinn-libPVP ok

version bump matches the API change (PVP)

Dependency ranges changed: djinn-lib

API changes (from Hackage documentation)

Files

• djinn-ghc.cabal +2/−2
• src/Djinn/GHC.hs +4/−0

@@ -1,5 +1,5 @@ name:           djinn-ghc-version:        0.0.2.2+version:        0.0.2.3 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.@@ -19,6 +19,6 @@                     ghc,                     containers,                     transformers,-                    djinn-lib >= 0.0.1.1,+                    djinn-lib >= 0.0.1.2,                     async   hs-source-dirs:   src

@@ -64,7 +64,11 @@       let dtypesT = map fst dtypes           dtypesE = concatMap snd dtypes       return $ (tyconName, (varsH, D.HTUnion dtypesT, NoExtraInfo)) : concat dtypesE+#if __GLASGOW_HASKELL__ >= 710+    Just (G.ATyCon tycon) | G.isTypeSynonymTyCon tycon -> do+#else     Just (G.ATyCon tycon) | G.isSynTyCon tycon -> do+#endif       -- Get information for this type synonym       let tyconName = toHSymbol $ G.tyConName tycon #if __GLASGOW_HASKELL__ >= 708