20070530-0

键入检查附加的错误文件会导致以下错误:

前奏曲互动。GhciTop>cmd_load“/Users/jmc/Bug.agda”agda2模式代码(agda2高光重新加载)***异常:src/full/TypeChecking/Subtitute.hs:101:发生了不可能的情况前奏曲互动。GhciTop>

附件:Bug.agda

页面上次修改时间:2007年5月30日上午09:10
技术支持私人维基