digital-asset/daml
1
1
Fork 0
mirror of https://github.com/digital-asset/daml.git synced 2024-09-20 01:07:18 +03:00
Code Issues Projects Releases Wiki Activity
9c107a7aa8
daml/compiler
History
Robin Krom 3115d104aa
daml script interfaces (#11124) 
* interfaces: introduce TemplateOrInterface class in stdlib

The template typeclass is to strong for many applications. The new
constraint `TemplateOrInterface` only contains the methods to convert
contract IDs and choices.

CHANGELOG_BEGIN
CHANGELOG_END

* ghc-lib update, interface script tests

* pinned stackage on unix

* added missing implementation in preprocessor

* added test

* fixing tests

* remove Iface type

* pinned stackage windows

* make sure createAndExercise is not called on interfaces
2021-10-11 18:22:40 +02:00
..
daml-extension Address remaining dependabot alerts (#11045) 2021-09-28 11:12:14 +02:00
daml-lf-ast interface fixed choices: Haskell Typechecker (#11177) 2021-10-08 15:42:29 +01:00
daml-lf-proto interface fixed choices: Haskell AST (#11160) 2021-10-07 10:46:50 +00:00
daml-lf-reader DEL-8657 update version info for Haskell LF libraries (#10160) 2021-07-02 09:46:53 +10:00
daml-lf-tools interface fixed choices: Haskell Typechecker (#11177) 2021-10-08 15:42:29 +01:00
daml-lf-verify Drop controller can syntax from compiler tests (#10807) 2021-09-08 15:28:09 +02:00
damlc daml script interfaces (#11124) 2021-10-11 18:22:40 +02: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 daml script interfaces (#11124) 2021-10-11 18:22:40 +02:00
repl-service LF: rename language Interface to PackageInterface (#10938) 2021-09-20 19:04:14 +00:00
scenario-service Drop NodeId type parameter (#10921) 2021-09-30 09:13:54 +00:00
README.md Daml case and logo (#8433) 2021-01-08 12:50:15 +00:00

README.md

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.