Skip to content

Home

Jump to bottom Edit New page
David Pearce edited this page Apr 14, 2022 · 35 revisions

Discussion

  • Error markers in wyil files doesn't make sense.

  • Problem with names have references to their declaration. In some sense, this is quite nice. But, for example, it is very problematic when comparing two types for equality in the syntactic heap.

  • Does it make sense to have a revised SyntacticHeap specification? This could include some optimisations (e.g. a stack model for operands) and explicitly defined meta-data for source-code spans, markers and references. Perhaps even general maps that could be used for types as well.

Add a custom footer
Add a custom sidebar
Clone this wiki locally