mirror of
https://github.com/maciej-bendkowski/generic-boltzmann-brain.git
synced 2024-11-22 01:53:37 +03:00
Upgrade to GHC 9.2.5
This commit is contained in:
parent
dcaed6a163
commit
135133db2c
@ -281,7 +281,7 @@ mkSamplerExp typ = do
|
||||
caseExp <- mkCaseConstr typ
|
||||
|
||||
ub' <- lift $ mkPat "ub"
|
||||
ub <- lift $ pure $ ConP 'MkUpperBound [BangP ub']
|
||||
ub <- lift $ pure $ ConP 'MkUpperBound [] [BangP ub']
|
||||
exp <- lift [|$(pure choiceExp) >>= ($(pure caseExp))|]
|
||||
|
||||
pure $
|
||||
|
18
stack.yaml
18
stack.yaml
@ -1,21 +1,7 @@
|
||||
resolver:
|
||||
url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/18/16.yaml
|
||||
|
||||
compiler: ghc-9.0.2
|
||||
|
||||
setup-info:
|
||||
ghc:
|
||||
linux64-tinfo6:
|
||||
9.0.2:
|
||||
url: "https://downloads.haskell.org/ghc/9.0.2/ghc-9.0.2a-x86_64-fedora27-linux.tar.xz"
|
||||
|
||||
resolver: lts-20.11
|
||||
packages:
|
||||
- .
|
||||
|
||||
extra-deps:
|
||||
- criterion-1.5.12.0
|
||||
- testing-feat-1.1.0.0
|
||||
- git: https://github.com/maciej-bendkowski/paganini-hs
|
||||
commit: f6f4f8d26c30544d17eab63583d4ff5e9158d2d9
|
||||
- git: https://github.com/OctopiChalmers/BinderAnn
|
||||
commit: 8f082b23ebd4e79e86e934f41ddfcba59652fadd
|
||||
commit: 214013fdc8aa274d2e92d50484bc0f840bf77f18
|
||||
|
@ -5,45 +5,19 @@
|
||||
|
||||
packages:
|
||||
- completed:
|
||||
pantry-tree:
|
||||
sha256: 92034e3e490c5fe0eab10277f6e35534b37dc0962347025630380c7d37d99ca1
|
||||
size: 2323
|
||||
hackage: criterion-1.5.12.0@sha256:f9c8c0cff7d6796702849258b22df103cde5baa5ee1f085b6b59f37074ec303f,5273
|
||||
original:
|
||||
hackage: criterion-1.5.12.0
|
||||
- completed:
|
||||
pantry-tree:
|
||||
sha256: 444f3c68a4f4fa1488fbbe9e8d9bbcc5f226b12a5027ee93683d5f95bf0ece28
|
||||
size: 790
|
||||
hackage: testing-feat-1.1.0.0@sha256:7c7629c5014edf06aefbf30a061d1ee64c6ee15f438d868e34749fb22208ab0b,2466
|
||||
original:
|
||||
hackage: testing-feat-1.1.0.0
|
||||
- completed:
|
||||
commit: 214013fdc8aa274d2e92d50484bc0f840bf77f18
|
||||
git: https://github.com/maciej-bendkowski/paganini-hs
|
||||
name: paganini-hs
|
||||
pantry-tree:
|
||||
sha256: 0216477ed9bf54790ecfae68d9d28df7e541e03fac1fe600ac7caff72d210cee
|
||||
size: 947
|
||||
commit: f6f4f8d26c30544d17eab63583d4ff5e9158d2d9
|
||||
git: https://github.com/maciej-bendkowski/paganini-hs
|
||||
version: 0.4.0.0
|
||||
sha256: 9450d27c60084eca27044b06e7f7b160a0d23186f9623ff57ae0ecff26cfefef
|
||||
size: 946
|
||||
version: 0.5.0.0
|
||||
original:
|
||||
commit: f6f4f8d26c30544d17eab63583d4ff5e9158d2d9
|
||||
commit: 214013fdc8aa274d2e92d50484bc0f840bf77f18
|
||||
git: https://github.com/maciej-bendkowski/paganini-hs
|
||||
- completed:
|
||||
name: BinderAnn
|
||||
pantry-tree:
|
||||
sha256: 2e2b0b9828f0bd3698344940c4da689947b4530ae75ccc51b03c77db171244e3
|
||||
size: 1631
|
||||
commit: 8f082b23ebd4e79e86e934f41ddfcba59652fadd
|
||||
git: https://github.com/OctopiChalmers/BinderAnn
|
||||
version: 0.1.0.0
|
||||
original:
|
||||
commit: 8f082b23ebd4e79e86e934f41ddfcba59652fadd
|
||||
git: https://github.com/OctopiChalmers/BinderAnn
|
||||
snapshots:
|
||||
- completed:
|
||||
sha256: cdead65fca0323144b346c94286186f4969bf85594d649c49c7557295675d8a5
|
||||
size: 586286
|
||||
url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/18/16.yaml
|
||||
original:
|
||||
url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/18/16.yaml
|
||||
sha256: adbc602422dde10cc330175da7de8609e70afc41449a7e2d6e8b1827aa0e5008
|
||||
size: 649342
|
||||
url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/20/11.yaml
|
||||
original: lts-20.11
|
||||
|
Loading…
Reference in New Issue
Block a user