diff options
| author | Richard Eisenberg <eir@cis.upenn.edu> | 2016-03-21 11:08:10 -0400 |
|---|---|---|
| committer | Richard Eisenberg <eir@cis.upenn.edu> | 2016-03-21 14:32:39 -0400 |
| commit | 5c0c751ab2deb4b03b8a2055d4f60d2574cae32f (patch) | |
| tree | c563b1e974bd2022e2403fdffb1f36b34fe21f10 /testsuite | |
| parent | 35e937973f61a7e5534ecd0b1c67111cd82d4238 (diff) | |
| download | haskell-5c0c751ab2deb4b03b8a2055d4f60d2574cae32f.tar.gz | |
Zonk before calling splitDepVarsOfType.
It was Utterly Wrong before.
Note to self: Never, ever take the free vars of an unzonked type.
Diffstat (limited to 'testsuite')
| -rw-r--r-- | testsuite/tests/ghci/scripts/T7873.stdout | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/testsuite/tests/ghci/scripts/T7873.stdout b/testsuite/tests/ghci/scripts/T7873.stdout index b53915d060..2c79056da4 100644 --- a/testsuite/tests/ghci/scripts/T7873.stdout +++ b/testsuite/tests/ghci/scripts/T7873.stdout @@ -1,6 +1,5 @@ data D2 where MkD2 :: (forall (p :: k -> *) (a :: k). p a -> Int) -> D2 -- Defined at <interactive>:3:1 -data D3 where - MkD3 :: (forall k1 (p :: k1 -> *) (a :: k1). p a -> Int) -> D3 +data D3 = MkD3 (forall k (p :: k -> *) (a :: k). p a -> Int) -- Defined at <interactive>:4:1 |