-
Updated
Dec 16, 2020 - Haskell
linear-types
Here are 22 public repositories matching this topic...
Issue To Be Solved
Every time a contract or transaction is changed and we want to run automated tests, we have to rerun make generate in lib/go/contracts/ and lib/go/templates to ensure that those changes are reflected in the templates we use for the tests in lib/go/test.
Suggest A Solution
- Fix Makefiles so that a
make generatefrom the root of the repo runs `make genera
-
Updated
May 4, 2020 - Scala
-
Updated
Aug 14, 2019 - TeX
-
Updated
Feb 9, 2019 - Idris
-
Updated
Aug 25, 2019 - Makefile
-
Updated
Apr 22, 2018 - OCaml
I was using meta17::count_of<TypePack<int>> which returns 0 because the type TypePack<int> is not in the empty typepack.
However I was expecting to get the amount of types present in TypePack<int> which is 1.
Not getting a compiler error led me to believe that this is the correct function for that.
Maybe we should introduce a compiler error for such cases?
-
Updated
Aug 16, 2017 - Haskell
-
Updated
Sep 4, 2020 - Haskell
-
Updated
Sep 4, 2020 - Haskell
-
Updated
Jul 9, 2020 - ATS
-
Updated
Nov 8, 2020 - Racket
-
Updated
Dec 14, 2020 - Swift
-
Updated
Jul 29, 2020 - Haskell
Improve this page
Add a description, image, and links to the linear-types topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the linear-types topic, visit your repo's landing page and select "manage topics."
Issue To Be Solved
We have accurate template transactions in the
transactionsfolder but not all of them are included in thelib/go/templatespackage.Suggest A Solution
transactions/and replace the contract names and addresses with the provided arguments, similar to how it is done with `GenerateCreateCo