melt-umn / silver

An attribute grammar-based programming language for composable language extensions

http://melt.cs.umn.edu/silver/

GNU Lesser General Public License v3.0

57 stars 7 forks source link

Rename 'unification' attributes -> 'biequality' attributes #798

Closed krame505 closed 1 year ago

krame505 commented 1 year ago

Changes

Rename unification attributes to biequality attributes. This was a poorly-named experimental feature that is really useful for more than just unification.

Documentation

Added docs in https://github.com/melt-umn/melt-website/pull/55, this feature was not previously documented

Testing

This is used in meta-ocaml-lite.