f5c2027 · tix · git.iko.soy

bumped resolver

commitf5c2027eb530bf38dbf6813ce97463a0f80c4b21 authoriko <ilyakooo0@gmail.com> dateWed 27 Jan 2021, 21:59 (6 years ago) parent7772d8b

2 files changed+2−4

unifiedsplit

src/Tix/Typechecker.hs+1−1

@@ -18,7 +18,7 @@ import Data.Act

1818import Data.Fix

1919import Data.Foldable

2020import Data.Functor

21−import Data.Group

21+import Data.Group hiding ((~~))

2222import Data.List.NonEmpty (NonEmpty (..))

2323import qualified Data.List.NonEmpty as NE

2424import qualified Data.Map.Extra as M

stack.yaml+1−3

@@ -17,7 +17,7 @@

1717#

1818# resolver: ./custom-snapshot.yaml

1919# resolver: https://example.com/snapshots/2018-01-01.yaml

20−resolver: nightly-2020-11-08

20+resolver: lts-17.0

2121

2222# User packages to be built.

2323# Various formats can be used as shown in the example below.

@@ -36,10 +36,8 @@ packages:

3636#

3737extra-deps:

3838 - hnix-0.10.1

39− - prettyprinter-1.7.0

4039 - acts-0.3.1.0

4140 - finitary-2.0.0.0

42− - groups-0.4.1.0

4341 - typelits-witnesses-0.4.0.0

4442 - dependent-sum-0.7.1.0

4543 - constraints-extras-0.3.0.2