digital-asset/daml
1
1
Fork 0
mirror of https://github.com/digital-asset/daml.git synced 2024-11-10 10:46:11 +03:00
Code Issues Projects Releases Wiki Activity
596058ac3f
daml/compiler
History
Martin Huschenbett 596058ac3f Allow boundedly polymorphic recursive functions without type annotation (#2684) 
Currently, recursive top level functions whose type is boundedly polymorphic
require a type annotation to make it through the conversion to DAML-LF.

This PR changes the conversion slightly such that a type annotation is n o
longer required.

This fixes #2669.
2019-08-28 12:56:06 +00:00
..
daml-extension Visual integration with LSP (#2597) 2019-08-26 15:47:29 +00:00
daml-lf-ast damlc: Add Numeric primitives and type-level nats. (#2670) 2019-08-28 12:30:33 +00:00
daml-lf-proto damlc: Add Numeric primitives and type-level nats. (#2670) 2019-08-28 12:30:33 +00:00
daml-lf-reader Switch to a streaming zip encoding (#2595) 2019-08-19 20:15:13 +02:00
daml-lf-tools damlc: Add Numeric primitives and type-level nats. (#2670) 2019-08-28 12:30:33 +00:00
daml-licenses update copyright notices (#2499) 2019-08-13 17:23:03 +01:00
damlc Allow boundedly polymorphic recursive functions without type annotation (#2684) 2019-08-28 12:56:06 +00:00
hie-core Shutdown IdeState in withDamlIdeState (#2680) 2019-08-28 13:02:39 +02:00
lsp-tests Visual integration with LSP (#2597) 2019-08-26 15:47:29 +00:00
scenario-service Switch to upstream gRPC-haskell (#2642) 2019-08-23 15:10:15 +02:00
README.md open-sourcing daml 2019-04-04 09:33:38 +01: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.