Argument types *can* get instantiated.
authorRichard Eisenberg <eir@cis.upenn.edu>
Wed, 5 Aug 2015 15:52:23 +0000 (11:52 -0400)
committerRichard Eisenberg <eir@cis.upenn.edu>
Wed, 5 Aug 2015 15:52:23 +0000 (11:52 -0400)
commit9b9f3c7d3a215d2e271dc5d6f92c8bd37e9cdfe6
treec2b15c613fa0a4292384bedf81cfae503d106a34
parentf4330738b1f0496128f3cf8e4b6a341e6acfc303
Argument types *can* get instantiated.
compiler/typecheck/TcUnify.hs