Skip to content

Commit f2c779a

Browse files
committed
[ add ] Generic datatype as inputs
1 parent cc85911 commit f2c779a

5 files changed

+16
-7
lines changed

cabal.project

+1-1
Original file line numberDiff line numberDiff line change
@@ -8,6 +8,6 @@ source-repository-package
88
source-repository-package
99
type: git
1010
location: https://github.com/btq-ag/keelung.git
11-
tag: 604116bd3879d359a201d233021775aab972d60e
11+
tag: 1975c0b0bdebb40113da35d70a5d8cb9151c0e5e
1212

1313
with-compiler: ghc-9.2.8

keelung-compiler.cabal

+1-2
Original file line numberDiff line numberDiff line change
@@ -5,7 +5,7 @@ cabal-version: 1.12
55
-- see: https://github.com/sol/hpack
66

77
name: keelung-compiler
8-
version: 0.23.0
8+
version: 0.24.0
99
description: Please see the README on GitHub at <https://github.com/btq-ag/keelung-compiler#readme>
1010
homepage: https://github.com/btq-ag/keelung-compiler#readme
1111
bug-reports: https://github.com/btq-ag/keelung-compiler/issues
@@ -235,7 +235,6 @@ test-suite keelung-test
235235
Test.Compilation.Field.Exponentiation
236236
Test.Compilation.Field.Inequality
237237
Test.Compilation.Misc
238-
Test.Compilation.MiscTypes
239238
Test.Compilation.Statement
240239
Test.Compilation.UInt
241240
Test.Compilation.UInt.Addition

package.yaml

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
name: keelung-compiler
2-
version: 0.23.0
2+
version: 0.24.0
33
github: "btq-ag/keelung-compiler"
44
license: BSD3
55
author: "BTQ AG"

stack.yaml

+2-3
Original file line numberDiff line numberDiff line change
@@ -43,9 +43,8 @@ packages:
4343
extra-deps:
4444
- git: https://github.com/btq-ag/galois-field.git
4545
commit: d7d0da6b5df8045afdfb820ba8d08f34dc4c3e58
46-
- ../keelung
47-
# - git: https://github.com/btq-ag/keelung.git
48-
# commit: 604116bd3879d359a201d233021775aab972d60e
46+
- git: https://github.com/btq-ag/keelung.git
47+
commit: 1975c0b0bdebb40113da35d70a5d8cb9151c0e5e
4948
# - git: [email protected]:btq-ag/keelung-examples.git
5049
# commit: 7e45f20becf27654f8af35ef0df3390db28b8c10
5150
- MonadRandom-0.5.3@sha256:bb553af2bac914362a54983e4ed2e0b6352c09b73a1e1e280ec4befe14c4270c,1456

stack.yaml.lock

+11
Original file line numberDiff line numberDiff line change
@@ -15,6 +15,17 @@ packages:
1515
original:
1616
commit: d7d0da6b5df8045afdfb820ba8d08f34dc4c3e58
1717
git: https://github.com/btq-ag/galois-field.git
18+
- completed:
19+
commit: 1975c0b0bdebb40113da35d70a5d8cb9151c0e5e
20+
git: https://github.com/btq-ag/keelung.git
21+
name: keelung
22+
pantry-tree:
23+
sha256: 859443068982936bc7977edc54beed6864c28e792cbe092884e8282f360d390a
24+
size: 1877
25+
version: 0.24.0
26+
original:
27+
commit: 1975c0b0bdebb40113da35d70a5d8cb9151c0e5e
28+
git: https://github.com/btq-ag/keelung.git
1829
- completed:
1930
hackage: MonadRandom-0.5.3@sha256:bb553af2bac914362a54983e4ed2e0b6352c09b73a1e1e280ec4befe14c4270c,1456
2031
pantry-tree:

0 commit comments

Comments
 (0)