aboutsummaryrefslogtreecommitdiff
path: root/examples/Bug1.hs
diff options
context:
space:
mode:
authorDavid Waern <david.waern@gmail.com>2009-01-06 23:34:17 +0000
committerDavid Waern <david.waern@gmail.com>2009-01-06 23:34:17 +0000
commitb2eb5f3573d2f2eb836f5524ba1540f1d2da175f (patch)
tree582400cbedcd082628cbe6ca01999a8b0475ecc5 /examples/Bug1.hs
parentca90e10eab9c938f211ce5e83ae0e8c15222a958 (diff)
Do not process boot modules
We should of course not try to produce documentation for boot modules! The reason this has worked in the past is that the output of "real" modules overwrites the output of boot modules later in the process. However, this causes a subtle link environment problem. So let's get rid of this stupid behaviour. We avoid processing boot modules, but we continue to typecheck them.
Diffstat (limited to 'examples/Bug1.hs')
0 files changed, 0 insertions, 0 deletions