aboutsummaryrefslogtreecommitdiff
path: root/examples/Makefile
diff options
context:
space:
mode:
authorDavid Waern <david.waern@gmail.com>2008-07-20 11:21:46 +0000
committerDavid Waern <david.waern@gmail.com>2008-07-20 11:21:46 +0000
commit9f215339900126328ccbdef6527634c34f44d56b (patch)
treeb99a7a8ee4766e0dca86bd2b4153fc838374aeb6 /examples/Makefile
parentb888192534c7c070647755f1778fa5a55002d87f (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 'examples/Makefile')
0 files changed, 0 insertions, 0 deletions