diff options
| author | Alejandro Serrano <trupill@gmail.com> | 2015-08-04 10:57:21 +0200 |
|---|---|---|
| committer | Alejandro Serrano <trupill@gmail.com> | 2015-08-04 10:57:21 +0200 |
| commit | d737c812c922042020ec71c22b09c5c8248a6df0 (patch) | |
| tree | ff5e3766aea7543ff0fed45b76393a094d2a2c09 /testsuite/tests/cabal/sigcabal02/p/Map.hsig | |
| parent | 864c14a8c605b838c16127c5195f41860db2919f (diff) | |
| download | haskell-wip/impredicativity.tar.gz | |
Add instantiation in rule checkingwip/impredicativity
Diffstat (limited to 'testsuite/tests/cabal/sigcabal02/p/Map.hsig')
0 files changed, 0 insertions, 0 deletions