20070530-0

Typechecking the attached erroneous file gives the following error:

Prelude Interaction.GhciTop> cmd_load "/Users/jmc/Bug.agda"
agda2_mode_code (agda2-highlight-reload)
*** Exception: src/full/TypeChecking/Substitute.hs:101: the impossible happened
Prelude Interaction.GhciTop>

Attach:Bug.agda

Edit | History | Recent Changes (all) | Search

Page last modified on May 30, 2007, at 09:10 am