git.iko.soy/typerep-map
on main help sign in
[#73] Bump up to GHC 8.6.5 (#74)

Resolves #73

commitb0860b56e1306d1e7c4c1ac57fd70ca716c20f28 authorDmitrii Kovanikov <kovanikov@gmail.com> dateSat 18 May 2019, 13:14 (7 years ago) parent449d597
6 files changed+46−50
compare with main
unifiedsplit
.travis.yml+2−2 README.md+4−2 stack.yaml+3−2 test/Test/TypeRep/CMap.hs+1−1 test/Test/TypeRep/CacheMap.hs+1−1 typerep-map.cabal+35−42
.travis.yml+2−2
@@ -16,9 +16,9 @@ matrix:
1616 include:
1717 - ghc: 8.2.2
1818 - ghc: 8.4.4
19− - ghc: 8.6.3
19+ - ghc: 8.6.5
2020
21− - ghc: 8.6.4
21+ - ghc: 8.6.5
2222 env: STACK_YAML="$TRAVIS_BUILD_DIR/stack.yaml"
2323
2424install:
README.md+4−2
@@ -1,8 +1,10 @@
11# typerep-map
22
33![electricity](https://user-images.githubusercontent.com/8126674/44323413-788dd700-a484-11e8-842e-f224cfaa4206.png)
4−[![Hackage](https://img.shields.io/hackage/v/typerep-map.svg)](https://hackage.haskell.org/package/typerep-map)
5−[![Build status](https://secure.travis-ci.org/kowainik/typerep-map.svg)](https://travis-ci.org/kowainik/typerep-map)
4+[![Build status](https://img.shields.io/travis/kowainik/typerep-map.svg?logo=travis)](https://travis-ci.org/kowainik/typerep-map)
5+[![Hackage](https://img.shields.io/hackage/v/typerep-map.svg?logo=haskell)](https://hackage.haskell.org/package/typerep-map)
6+[![Stackage LTS](http://stackage.org/package/typerep-map/badge/lts)](http://stackage.org/lts/package/typerep-map)
7+[![Stackage Nightly](http://stackage.org/package/typerep-map/badge/nightly)](http://stackage.org/nightly/package/typerep-map)
68[![MIT license](https://img.shields.io/badge/license-MIT-blue.svg)](https://github.com/vrom911/typerep-map/blob/master/LICENSE)
79
810`typerep-map` introduces `TMap` and `TypeRepMap` — data structures like [`Map`](http://hackage.haskell.org/package/containers-0.6.0.1/docs/Data-Map-Lazy.html#t:Map), but where types serve as keys, and values have the types specified in the corresponding key spots.
stack.yaml+3−2
@@ -1,5 +1,6 @@
1−resolver: lts-13.14
1+resolver: lts-13.21
22
33extra-deps:
44 - dependent-sum-0.5
5− - tasty-hedgehog-0.2.0.0
5+ - hedgehog-1.0
6+ - tasty-hedgehog-1.0.0.0
test/Test/TypeRep/CMap.hs+1−1
@@ -35,7 +35,7 @@ mapOf10 = insert (Identity True)
3535 $ insert (Identity $ Just ())
3636 $ insert (Identity [()])
3737 $ insert (Identity ())
38− $ insert (Identity "aaa")
38+ $ insert (Identity @String "aaa")
3939 $ insert (Identity $ Just 'a')
4040 $ insert (Identity 'a')
4141 $ insert (Identity (11 :: Int)) empty
test/Test/TypeRep/CacheMap.hs+1−1
@@ -44,7 +44,7 @@ mapOf10 = insert True
4444 $ insert (Just ())
4545 $ insert [()]
4646 $ insert ()
47− $ insert "aaa"
47+ $ insert @String "aaa"
4848 $ insert (Just 'a')
4949 $ insert 'a'
5050 $ insert (11 :: Int) empty
typerep-map.cabal+35−42
@@ -1,3 +1,4 @@
1+cabal-version: 2.4
12name: typerep-map
23version: 0.3.2
34synopsis: Efficient implementation of a dependent map with types as keys
@@ -20,105 +21,97 @@ homepage: https://github.com/kowainik/typerep-map
2021bug-reports: https://github.com/kowainik/typerep-map/issues
2122license: MIT
2223license-file: LICENSE
23−author: Kowainik, Vladislav Zavialov
24−maintainer: xrom.xkov@gmail.com
24+author: Veronika Romashkina, Vladislav Zavialov, Dmitrii Kovanikov
25+maintainer: Kowainik <xrom.xkov@gmail.com>
2526copyright: 2017-2019 Kowainik
2627category: Data, Data Structures, Types
2728build-type: Simple
2829extra-doc-files: README.md
2930 , CHANGELOG.md
30−cabal-version: 2.0
3131tested-with: GHC == 8.2.2
3232 , GHC == 8.4.4
33− , GHC == 8.6.3
33+ , GHC == 8.6.5
3434
3535source-repository head
3636 type: git
3737 location: https://github.com/kowainik/typerep-map.git
3838
39+common common-options
40+ build-depends: base >= 4.10 && < 4.13
41+
42+ default-language: Haskell2010
43+ default-extensions: BangPatterns
44+ OverloadedStrings
45+ RecordWildCards
46+ ScopedTypeVariables
47+ TypeApplications
48+
3949library
50+ import: common-options
4051 hs-source-dirs: src
4152 exposed-modules: Data.TMap
4253 Data.TypeRepMap
4354 Data.TypeRepMap.Internal
44− ghc-options: -Wall
45− build-depends: base >= 4.10 && < 5
46− , containers >= 0.5.10.2 && < 0.7
55+
56+ build-depends: containers >= 0.5.10.2 && < 0.7
4757 , ghc-prim ^>= 0.5.1.1
4858 , primitive ^>= 0.6.4
4959 , deepseq ^>= 1.4
50− default-extensions: OverloadedStrings
51− RecordWildCards
52− ScopedTypeVariables
53− TypeApplications
54− default-language: Haskell2010
5560
5661library typerep-extra-impls
62+ import: common-options
5763 hs-source-dirs: typerep-extra-impls
5864 exposed-modules: Data.TypeRep.CMap
5965 Data.TypeRep.OptimalVector
6066 Data.TypeRep.Vector
61− ghc-options: -Wall
62− build-depends: base >= 4.10 && < 5
63− , containers >= 0.5.10.2 && < 0.7
67+
68+ build-depends: containers >= 0.5.10.2 && < 0.7
6469 , vector ^>= 0.12.0.1
6570 , deepseq ^>= 1.4
66− default-extensions: OverloadedStrings
67− RecordWildCards
68− ScopedTypeVariables
69− TypeApplications
70−
71− default-language: Haskell2010
7271
7372test-suite typerep-map-test
73+ import: common-options
7474 type: exitcode-stdio-1.0
7575 hs-source-dirs: test
76+
7677 main-is: Test.hs
7778 other-modules: Test.TypeRep.CMap
7879 , Test.TypeRep.CacheMap
7980 , Test.TypeRep.MapProperty
8081 , Test.TypeRep.Vector
8182 , Test.TypeRep.VectorOpt
82− build-depends: base >= 4.10 && < 5
83− , ghc-typelits-knownnat >= 0.4.2 && < 0.7
84− , hedgehog >= 0.5.3 && < 0.7
83+
84+ build-tool-depends: tasty-discover:tasty-discover
85+ build-depends: ghc-typelits-knownnat >= 0.4.2 && < 0.7
86+ , hedgehog ^>= 1.0
8587 , typerep-map
8688 , typerep-extra-impls
8789 , tasty >= 1.0.1.1 && < 1.3
8890 , tasty-discover >= 4.1.1 && < 4.3
89− , tasty-hedgehog >= 0.1.0.2 && < 0.3
91+ , tasty-hedgehog ^>= 1.0.0.0
9092 , tasty-hspec ^>= 1.1.5
91− , QuickCheck >= 2.11.3 && < 2.13
92− build-tool-depends: tasty-discover:tasty-discover
93− ghc-options: -Wall -threaded -rtsopts -with-rtsopts=-N
94− default-extensions: ScopedTypeVariables
95− TypeApplications
9693
97− default-language: Haskell2010
94+ ghc-options: -threaded -rtsopts -with-rtsopts=-N
9895
9996benchmark typerep-map-benchmark
97+ import: common-options
10098 type: exitcode-stdio-1.0
101− default-language: Haskell2010
102− ghc-options: -Wall -O2 -threaded -rtsopts -with-rtsopts=-N -freduction-depth=0
10399 hs-source-dirs: benchmark
100+
104101 main-is: Main.hs
105102 other-modules: CMap
106103 , CacheMap
104+ , DMap
107105 , Spec
108106 , Vector
109107 , OptimalVector
110− build-depends: base >= 4.10 && < 5
111− , criterion >= 1.4.1.0 && < 1.6
108+
109+ build-depends: criterion >= 1.4.1.0 && < 1.6
112110 , deepseq ^>= 1.4.3.0
113111 , dependent-map >= 0.2.4.0 && < 0.5
114112 , dependent-sum ^>= 0.5
115113 , ghc-typelits-knownnat >= 0.4.2 && < 0.7
116114 , typerep-map
117115 , typerep-extra-impls
118− default-extensions: OverloadedStrings
119− RecordWildCards
120− ScopedTypeVariables
121− TypeApplications
122− BangPatterns
123− if impl(ghc >= 8.2.2)
124− other-modules: DMap
116+
117+ ghc-options: -O2 -threaded -rtsopts -with-rtsopts=-N -freduction-depth=0