syndicate-lang
/
syndicate-rkt
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Note in HOWITWORKS about `opaque-placeholder`.

This commit is contained in:
Tony Garnock-Jones 2018-11-20 13:22:44 +00:00
parent 937bb7a7c4
commit 636ca9acf7
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
syndicate/HOWITWORKS.md
View File

@ -543,6 +543,10 @@ interested in the `present` constructor.
trigger its "matching" inner endpoint, but not the inner trigger its "matching" inner endpoint, but not the inner
endpoint of the other endpoint, even though you might expect the endpoint of the other endpoint, even though you might expect the
relayed assertion to do so. relayed assertion to do so.
- There's also a need for `(opaque-placeholder)`s to frustrate
constant-matching against literal `(discard)` in cases of
visibility restriction. See commit b4f1d36 and test case
`test/core/nesting-confusion-2.rkt`.
- there's more to say about the implementation of the *dataspace* - there's more to say about the implementation of the *dataspace*
itself, not just the index structures. For example, the care that itself, not just the index structures. For example, the care that