ghc-tcplugins-extra 0.2 → 0.2.1
raw patch · 5 files changed
+22/−9 lines, 5 filesdep ~ghc
Dependency ranges changed: ghc
Files
- CHANGELOG.md +4/−1
- LICENSE +2/−1
- README.md +1/−1
- ghc-tcplugins-extra.cabal +4/−3
- src/GHC/TcPluginM/Extra.hs +11/−3
CHANGELOG.md view
@@ -1,4 +1,7 @@-## 0.2 *January 19th 2015*+## 0.2.1 *August 15th 2017*+* Support for GHC-8.2.1++## 0.2 *January 19th 2016* * `newWantedWithProvenance` and `failWithProvancence` no longer available in GHC 8.0+
LICENSE view
@@ -1,4 +1,5 @@-Copyright (c) 2015-2016, University of Twente+Copyright (c) 2015-2016, University of Twente,+ 2017 , QBayLogic All rights reserved. Redistribution and use in source and binary forms, with or without
README.md view
@@ -1,6 +1,6 @@ # ghc-tcplugins-extra Utilities for writing GHC type-checker plugins -[](http://travis-ci.org/clash-lang/ghc-tcplugins-extra)+[](http://travis-ci.org/clash-lang/ghc-tcplugins-extra) [](https://hackage.haskell.org/package/ghc-tcplugins-extra) [](http://packdeps.haskellers.com/feed?needle=exact%3Aghc-tcplugins-extra)
ghc-tcplugins-extra.cabal view
@@ -1,5 +1,5 @@ name: ghc-tcplugins-extra-version: 0.2+version: 0.2.1 synopsis: Utilities for writing GHC type-checker plugins description: Utilities for writing GHC type-checker plugins, such as creating constraints, with a stable API covering multiple@@ -10,7 +10,8 @@ license-file: LICENSE author: Christiaan Baaij maintainer: christiaan.baaij@gmail.com-copyright: Copyright © 2016 University of Twente+copyright: Copyright © 2015-2016, University of Twente,+ 2017, QBayLogic category: Type System build-type: Simple extra-source-files: README.md@@ -30,7 +31,7 @@ library exposed-modules: GHC.TcPluginM.Extra build-depends: base >=4.8 && <5,- ghc >=7.10 && <8.2+ ghc >=7.10 && <8.4 hs-source-dirs: src default-language: Haskell2010 other-extensions: CPP
src/GHC/TcPluginM/Extra.hs view
@@ -56,17 +56,20 @@ #endif #if __GLASGOW_HASKELL__ < 711 import TcPluginM (FindResult (..), TcPluginM, findImportedModule, lookupOrig,- tcPluginIO, tcPluginTrace, unsafeTcPluginTcM)+ tcPluginTrace, unsafeTcPluginTcM) import TcRnTypes (Ct, CtEvidence (..), CtLoc, TcIdBinder (..), TcLclEnv (..), TcPlugin (..), TcPluginResult (..), ctEvId, ctEvLoc, ctLoc, ctLocEnv, mkNonCanonical, setCtLocEnv) #else import TcPluginM (FindResult (..), TcPluginM, findImportedModule, lookupOrig,- tcPluginIO, tcPluginTrace)+ tcPluginTrace) import qualified TcPluginM import TcRnTypes (CtEvidence (..), CtLoc, TcPlugin (..), TcPluginResult (..)) #endif+#if __GLASGOW_HASKELL__ < 802+import TcPluginM (tcPluginIO)+#endif #if __GLASGOW_HASKELL__ >= 711 import TyCoRep (UnivCoProvenance (..)) import Type (PredType, Type)@@ -76,10 +79,11 @@ #endif -- workaround for https://ghc.haskell.org/trac/ghc/ticket/10301+#if __GLASGOW_HASKELL__ < 802 import Data.IORef (readIORef) import Control.Monad (unless) import StaticFlags (initStaticOpts, v_opt_C_ready)-+#endif #if __GLASGOW_HASKELL__ >= 711 pattern FoundModule :: Module -> FindResult@@ -246,6 +250,10 @@ -- workaround for https://ghc.haskell.org/trac/ghc/ticket/10301 initializeStaticFlags :: TcPluginM ()+#if __GLASGOW_HASKELL__ < 802 initializeStaticFlags = tcPluginIO $ do r <- readIORef v_opt_C_ready unless r initStaticOpts+#else+initializeStaticFlags = return ()+#endif