Feldspar/feldspar-compiler — pull request #38 by pjonsson (2012-12-28 18:02:57+00:00)
Title: Annotate programs to avoid relying on magic strings

My initial idea was to retire the Naming plugin, but I didn't get all the way through.

What this patchset does is add a "Kind" parameter to procedure calls, procedure definitions and procedure declarations. The name is a bit unfortunate since it has nothing to do with kinds in the type system. The remaining parts of the patch uses the annotations to identify whether things should be transformed or not.

The result still passes the test suite, but I could very well have tripped over some unknown things here--there's not a lot of documentation on how things should work beyond the current source code.