mirror of
https://github.com/digital-asset/daml.git
synced 2024-09-20 09:17:43 +03:00
c2c0557970
* Support complex patterns in DAML REPL Previously, we only supported simple variable patterns in DAML repl. This PR extends this to support pretty much all patterns. The main complexity here is in handling shadowing correctly but I’m reasonably confident the solution here is sensible. What doesn’t work properly yet is partial patterns. I’ve added a comment describing the issue and a potential solution. Given that this isn’t a regression apart from maybe a slightly worse error message, I think it makes sense to merge this PR and fix that separately. changelog_begin - [DAML REPL - Experimental] You can now use more complex patterns in statements, e.g., ``(x,y) <- pure (1,2)``. changelog_end * Update compiler/damlc/daml-compiler/src/DA/Daml/Compiler/Repl.hs Co-Authored-By: Andreas Herrmann <42969706+aherrmann-da@users.noreply.github.com> * Update compiler/damlc/daml-compiler/src/DA/Daml/Compiler/Repl.hs Co-Authored-By: Andreas Herrmann <42969706+aherrmann-da@users.noreply.github.com> * Improve error messages * update documentation Co-authored-by: Andreas Herrmann <42969706+aherrmann-da@users.noreply.github.com> |
||
---|---|---|
.. | ||
app-dev | ||
concepts | ||
daml | ||
daml2ts | ||
daml-integration-kit | ||
daml-repl | ||
daml-script | ||
deploy | ||
examples | ||
experimental | ||
getting-started | ||
json-api | ||
support | ||
tools | ||
triggers | ||
upgrade | ||
index.rst |