daml/compiler
Sofia Faro 27dbf0bef9
BigNumeric in the stdlib cleanup. (#9253)
* Cleaning up BigNumeric somewhat.

Done in this PR:
- Moved BigNumeric and RoundingMode to GHC.Types to be alongside Numeric and Decimal
- Additive, Multiplicative, Number instances for BigNumeric
- Eq, Ord instances for BigNumeric and RoundingMode

Todo:
- BigNumeric literals in Daml
- Constructors and pattern matching for rounding mode
- Better documentation

changelog_begin
changelog_end

* remove ^ for now

* define (^) because it's required

* Error in (^) for negative powers.

* better error message

* import fromString and error

* Add -Wno-unused-imports because of compiling to different versions.

* add (fromString) and (error)

* Update bignumeric test.
2021-03-29 13:33:36 +00:00
..
daml-extension Daml case and logo (#8433) 2021-01-08 12:50:15 +00:00
daml-lf-ast BigNumeric in the stdlib cleanup. (#9253) 2021-03-29 13:33:36 +00:00
daml-lf-proto Daml: Add basic support for BigNumeric in 1.dev (#9243) 2021-03-26 09:00:05 +01:00
daml-lf-reader Upgrade the LF library build setup (resolver, dependencies, version) (#8865) 2021-02-17 07:07:17 +01:00
daml-lf-tools BigNumeric in the stdlib cleanup. (#9253) 2021-03-29 13:33:36 +00:00
daml-lf-verify LF: release LF 1.12 (#8856) 2021-02-24 21:17:33 +01:00
damlc BigNumeric in the stdlib cleanup. (#9253) 2021-03-29 13:33:36 +00:00
ghcide Get ghcide from the new upstream repo (#2867) 2019-09-11 08:57:48 +02:00
hie-core Get ghcide from the new upstream repo (#2867) 2019-09-11 08:57:48 +02:00
lsp-tests ghcide: cached goto definitions (#8751) 2021-02-04 21:05:12 +01:00
repl-service Expose Daml stacktraces for Daml Script errors (#9025) 2021-03-04 16:13:50 +01:00
scenario-service add rollback node to transactions (#9178) 2021-03-23 08:49:25 +00:00
README.md Daml case and logo (#8433) 2021-01-08 12:50:15 +00:00

Daml Compiler

This directory contains several libraries used by and the executable for the Daml compiler.

Libraries

  • daml-lf-ast: The Daml-LF AST and type checker.