diff options
author | David Waern <david.waern@gmail.com> | 2008-07-20 11:21:46 +0000 |
---|---|---|
committer | David Waern <david.waern@gmail.com> | 2008-07-20 11:21:46 +0000 |
commit | 9f215339900126328ccbdef6527634c34f44d56b (patch) | |
tree | b99a7a8ee4766e0dca86bd2b4153fc838374aeb6 /tests/output/Bug7.html | |
parent | b888192534c7c070647755f1778fa5a55002d87f (diff) |
Preparation for rendering instances as separate declarations
We want to be able to render instances as separate declarations. So we remove
the Name argument of ExportDecl, since instances are nameless.
This patch also contains the first steps needed to gather type family instances
and display them in the backend, but the implementation is far from complete.
Because of this, we don't actually show the instances yet.
Diffstat (limited to 'tests/output/Bug7.html')
0 files changed, 0 insertions, 0 deletions