mirror of
https://github.com/chrisdone/duet.git
synced 2024-10-26 11:30:19 +03:00
Upgrade lts-12.12 -> lts-20.20
This commit is contained in:
parent
959d40db68
commit
db305103f7
@ -482,7 +482,7 @@ parsedTypeToPredicates =
|
|||||||
toPredicate :: Stream s m t => ParsedType i -> ParsecT s u m (Predicate ParsedType i)
|
toPredicate :: Stream s m t => ParsedType i -> ParsecT s u m (Predicate ParsedType i)
|
||||||
toPredicate t =
|
toPredicate t =
|
||||||
case targs t of
|
case targs t of
|
||||||
(ParsedTypeConstructor i, vars@ (_:_)) -> do
|
(ParsedTypeConstructor i, vars@(_:_)) -> do
|
||||||
pure (IsIn i vars)
|
pure (IsIn i vars)
|
||||||
_ -> unexpected "non-class constraint"
|
_ -> unexpected "non-class constraint"
|
||||||
|
|
||||||
|
@ -1,3 +1 @@
|
|||||||
resolver: lts-12.12
|
resolver: lts-20.20
|
||||||
extra-deps:
|
|
||||||
- monad-supply-0.6
|
|
||||||
|
@ -3,17 +3,10 @@
|
|||||||
# For more information, please see the documentation at:
|
# For more information, please see the documentation at:
|
||||||
# https://docs.haskellstack.org/en/stable/lock_files
|
# https://docs.haskellstack.org/en/stable/lock_files
|
||||||
|
|
||||||
packages:
|
packages: []
|
||||||
- completed:
|
|
||||||
hackage: monad-supply-0.6@sha256:9d99848857bebde27d10bdeeb190ec2b409040114671b00928edfdc56d6d71e0,725
|
|
||||||
pantry-tree:
|
|
||||||
size: 222
|
|
||||||
sha256: 59fea76b03614e8788ea471564dbc4891c275ac4f6fa9bf341456ebbd7c6d647
|
|
||||||
original:
|
|
||||||
hackage: monad-supply-0.6
|
|
||||||
snapshots:
|
snapshots:
|
||||||
- completed:
|
- completed:
|
||||||
size: 504336
|
sha256: 126fa33ceb11f5e85ceb4e86d434756bd9a8439e2e5776d306a15fbc63b01e89
|
||||||
url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/12/12.yaml
|
size: 650041
|
||||||
sha256: 11db5c37144d13fe6b56cd511050b4e6ffe988f6edb8e439c2432fc9fcdf50c3
|
url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/20/20.yaml
|
||||||
original: lts-12.12
|
original: lts-20.20
|
||||||
|
Loading…
Reference in New Issue
Block a user