ghc-justdoit 0.1 → 0.1.0.1
raw patch · 4 files changed
+21/−6 lines, 4 filesdep ~base
Dependency ranges changed: base
Files
- ChangeLog.md +5/−1
- GHC/LJT.hs +10/−0
- README.md +3/−2
- ghc-justdoit.cabal +3/−3
ChangeLog.md view
@@ -1,5 +1,9 @@ # Revision history for ghc-justdoit -## 0.1 -- YYYY-mm-dd+## 0.1.0.1 -- 2018-10-11++* Compatibility with ghc-8.6 as released++## 0.1 -- 2018-02-02 * First version. Released on an unsuspecting world.
GHC/LJT.hs view
@@ -18,6 +18,7 @@ import BasicTypes import NameEnv import NameSet+import Coercion import Data.List import Data.Hashable@@ -207,6 +208,15 @@ go (CoercionTy co) = emptyNameEnv go_s = foldr (plusNameEnv . go) emptyNameEnv +++-- A copy from MkId.hs, no longer exported there :-(+wrapNewTypeBody :: TyCon -> [Type] -> CoreExpr -> CoreExpr+wrapNewTypeBody tycon args result_expr+ = wrapFamInstBody tycon args $+ mkCast result_expr (mkSymCo co)+ where+ co = mkUnbranchedAxInstCo Representational (newTyConCo tycon) args [] -- Combinators to search for matching things
README.md view
@@ -21,7 +21,7 @@ * The LJT might not be complete, due to insufficient backtracking. * The implementation is very much unoptimized. * It returns one solution, but not necessary the “best” one. But what is the “best” one?- * It ignores any recursive type, so it cannot do anything with lists. It would be much more useful if it could do some best-effort thing her as well.+ * It ignores any recursive type, so it cannot do anything with lists. It would be much more useful if it could do some best-effort thing here as well. If someone wants to pick it up from here, that’d be great! @@ -32,6 +32,7 @@ * [Djinn](http://hackage.haskell.org/package/djinn) and [djinn-ghc](http://hackage.haskell.org/package/djinn-ghc) * [exference](http://hackage.haskell.org/package/exference) * [curryhoward](https://github.com/Chymyst/curryhoward) for Scala+ * [hezarfen](https://github.com/joom/hezarfen) for Idris Contact -------@@ -39,7 +40,7 @@ Please reports bugs and missing features at the [GitHub bugtracker]. This is also where you can find the [source code]. -`bSpokeLight` was written by [Joachim Breitner] and is licensed under a+`ghc-justdoit` was written by [Joachim Breitner] and is licensed under a permissive MIT [license]. [GitHub bugtracker]: https://github.com/nomeata/ghc-justdoit/issues
ghc-justdoit.cabal view
@@ -1,5 +1,5 @@ name: ghc-justdoit-version: 0.1+version: 0.1.0.1 synopsis: A magic typeclass that just does it description: This plugin allows you to write@@ -29,14 +29,14 @@ build-type: Simple extra-source-files: ChangeLog.md, README.md cabal-version: >=1.10-tested-with: GHC ==8.5.*+tested-with: GHC ==8.6.*, GHC ==8.7.* library exposed-modules: GHC.LJT exposed-modules: GHC.JustDoIt exposed-modules: GHC.JustDoIt.Plugin exposed-modules: GHC.JustDoIt.Solver- build-depends: base >=4.11 && <4.12+ build-depends: base >=4.11 && <4.14 build-depends: hashable build-depends: ghc >=8.5 default-language: Haskell2010