chore: bump stack lts resolver from 10.5 to 19.31 (ghc 8.2.2 -> 9.0.2) - Githubissues

Verites / verigraph

Software specification and verification system based on graph rewriting

https://verites.github.io/verigraph/

Apache License 2.0

37 stars 4 forks source link

chore: bump stack lts resolver from 10.5 to 19.31 (ghc 8.2.2 -> 9.0.2) #64

Open jsbezerra opened 2 years ago

jsbezerra commented 2 years ago

Summary:

Bumps lts-resolver: 10.5 -> 19.31
Bumps ghc: 8.2.2 -> 9.0.2
Bumps base: 4.8 -> 4.15
Bumps containers: 0.4 -> 0.6
Bumps prettyprinter: 1.1 -> 1.7
Bumps QuickCheck: 2.8 -> 2.14
Bumps set-monad: 0.2 -> 0.3
Bumps optparse-applicative: 0.12 -> 0.16
Bumps combinat: 0.2.8 -> 0.2.10

Minor changes:

Use Prettyprinter instead of the deprecated Data.Text.Prettyprint.Doc
Track stack.yaml.lock file