Remove some old code.
authorJose Pedro Magalhaes <jpm@cs.uu.nl>
Thu, 12 May 2011 11:11:07 +0000 (13:11 +0200)
committerJose Pedro Magalhaes <jpm@cs.uu.nl>
Thu, 12 May 2011 11:11:07 +0000 (13:11 +0200)
commitc25b934ef544fa3eba0a9f9da41b363c470156cb
treed53b65c8f5ff631dde3f7c5ec94e09e539f169ff
parent9e4c8ad32eff3bf0350480109b2f5a5ad4738f09
Remove some old code.
compiler/typecheck/TcDeriv.lhs