... | @@ -62,6 +62,16 @@ GHCi, version 8.2.1: http://www.haskell.org/ghc/ :? for help |
... | @@ -62,6 +62,16 @@ GHCi, version 8.2.1: http://www.haskell.org/ghc/ :? for help |
|
Note that `Foo`, a GADT, is *not* reified as a `GadtC`, whereas `Bar`, which is not a GADT, *is* reified as a `GadtC`. In GHC 8.4, this bug has been fixed, so as a result, `Foo` will be reified as a `GadtC`, but `Bar` will not be, as one would expect.
|
|
Note that `Foo`, a GADT, is *not* reified as a `GadtC`, whereas `Bar`, which is not a GADT, *is* reified as a `GadtC`. In GHC 8.4, this bug has been fixed, so as a result, `Foo` will be reified as a `GadtC`, but `Bar` will not be, as one would expect.
|