remove dead function 'tcInstBinders'
authorGabor Greif <ggreif@gmail.com>
Thu, 29 Jun 2017 08:20:11 +0000 (10:20 +0200)
committerGabor Greif <ggreif@gmail.com>
Thu, 29 Jun 2017 08:20:11 +0000 (10:20 +0200)
commit54ccf0c957a279c20e1a37a5a462612af8036739
treedd51564b0e853286c110e1803f37c4a284b0e1f3
parent7097f94df0c6667be2343306ffcda152fa22abcf
remove dead function 'tcInstBinders'
compiler/typecheck/Inst.hs