diff options
Diffstat (limited to 'testsuite/tests/dependent/should_compile/T14729.stderr')
-rw-r--r-- | testsuite/tests/dependent/should_compile/T14729.stderr | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/testsuite/tests/dependent/should_compile/T14729.stderr b/testsuite/tests/dependent/should_compile/T14729.stderr index 0aa6ad7f10..1a9a78dac7 100644 --- a/testsuite/tests/dependent/should_compile/T14729.stderr +++ b/testsuite/tests/dependent/should_compile/T14729.stderr @@ -1,5 +1,7 @@ TYPE SIGNATURES - x :: forall (x :: Bool). P (F Int) (x |> Sym (T14729.D:R:FInt[0])) + x :: + forall (x :: Bool). + P (F Int) (x |> Sym (Hydrate nominal (F Int) T14729.D:R:FInt)) y :: forall {x :: Bool}. P Bool x TYPE CONSTRUCTORS type family F{1} :: * -> * |