Lucas Kramer

# Changes Fix #796. Depends on #837. # Documentation https://github.com/melt-umn/melt-website/pull/61 # Testing Added unit tests for type checking and sharing uniqueness errors.

Fixes #812, fixes #810. Depends on #831. # Changes This finishes support for dispatch sharing, and refactors the Silver compiler to use it. Remove support for unique references and `undecorates...

# Changes See #812. This adds initial syntax, type checking and translation for marking signature items as shared, and defining dispatch signatures. The corresponding MWDA changes are still pending, but...

Non-decorating locals/production attributes

10

As a part of #751, I've been thinking that we should perhaps have a variant of locals/production attributes that are not decoration sites, and thus can be used to hold...

Simplifying Silver's possibly-decorated type inference semantics

6

The current state of affairs is that whether a reference to a decorable child or local[^local] gets a decorated type is inferred through a "fun trick" in the type system....

Dispatch productions and tree sharing

6

I am considering a pretty major change to tree sharing, related to dispatching productions. ## Background One might currently define an overloaded operator as ``` production negOp top::Expr ::= e::Expr...

First-class instance types and context attributes

1

Writing up my thoughts on what I was proposing a bit more concretely. I realize this issue has become the size of a blog post, but I hope it is...

For example ``` inherited attribute inh::Integer occurs on Foo; inherited attribute syn::Integer occurs on Foo; aspect default production top::Foo ::= { top.syn = top.inh; } ``` If there are no...

Using type classes

9

Meta-bug to keep track of all the things that we want to change in the standard library once type classes are finished. Some of these are partially doable now and...

Currently this extension is a mess in a few ways, and can use some cleanup: - [ ] It doesn't make use of Silver concrete syntax for constructing the (large)...