Follow OccName and MkCore changes in Inst
authorMax Bolingbroke <batterseapower@hotmail.com>
Thu, 31 Jul 2008 01:23:49 +0000 (01:23 +0000)
committerMax Bolingbroke <batterseapower@hotmail.com>
Thu, 31 Jul 2008 01:23:49 +0000 (01:23 +0000)
commit5d5b74b914bc893a395c2fa60b399fc4975b0720
tree1272d1ee0ba74eaabe878d7230c0c088ef7cff42
parent2a8123e1eaac6198fdf1c029561dddffc1ab2cff
Follow OccName and MkCore changes in Inst
compiler/typecheck/Inst.lhs