[project @ 2006-01-05 10:02:58 by simonpj] 'newtype' declarations are now parsed exactly like data type declarations, so that you can declare newtypes using GADT syntax.  But that means we must check all the newtype restrictions separately, and I mised one. This commit checks that there is no existential context on the newtype.
[project @ 2006-01-05 10:02:58 by simonpj]
'newtype' declarations are now parsed exactly like data type declarations,
so that you can declare newtypes using GADT syntax.  But that means we
must check all the newtype restrictions separately, and I mised one.
This commit checks that there is no existential context on the newtype.

Test is tcfail156

bitemyapp/ghc,lukexi/ghc,holzensp/ghc,spacekitteh/smcghc,bitemyapp/ghc,hferreiro/replay,bitemyapp/ghc,mcschroeder/ghc,ezyang/ghc,vikraman/ghc,nomeata/ghc,vikraman/ghc,green-haskell/ghc,ml9951/ghc,lukexi/ghc-7.8-arm64,nushio3/ghc,TomMD/ghc,GaloisInc/halvm-ghc,ghc-android/ghc,forked-upstream-packages-for-ghcjs/ghc,oldmanmike/ghc,gridaphobe/ghc,shlevy/ghc,anton-dessiatov/ghc,ilyasergey/GHC-XAppFix,acowley/ghc,elieux/ghc,acowley/ghc,spacekitteh/smcghc,tjakway/ghcjvm,siddhanathan/ghc,nomeata/ghc,elieux/ghc,tjakway/ghcjvm,tibbe/ghc,mettekou/ghc,ekmett/ghc,bitemyapp/ghc,mfine/ghc,ml9951/ghc,TomMD/ghc,nkaretnikov/ghc,mettekou/ghc,frantisekfarka/ghc-dsi,GaloisInc/halvm-ghc,acowley/ghc,GaloisInc/halvm-ghc,fmthoma/ghc,mettekou/ghc,AlexanderPankiv/ghc,vikraman/ghc,spacekitteh/smcghc,forked-upstream-packages-for-ghcjs/ghc,ekmett/ghc,nomeata/ghc,acowley/ghc,sdiehl/ghc,nathyong/microghc-ghc,gcampax/ghc,urbanslug/ghc,mcmaniac/ghc,nushio3/ghc,da-x/ghc,nushio3/ghc,gridaphobe/ghc,green-haskell/ghc,ryantm/ghc,tjakway/ghcjvm,vTurbine/ghc,vikraman/ghc,tjakway/ghcjvm,gcampax/ghc,fmthoma/ghc,ghc-android/ghc,tibbe/ghc,siddhanathan/ghc,vTurbine/ghc,ilyasergey/GHC-XAppFix,urbanslug/ghc,elieux/ghc,holzensp/ghc,lukexi/ghc,vTurbine/ghc,ekmett/ghc,wxwxwwxxx/ghc,jstolarek/ghc,oldmanmike/ghc,ezyang/ghc,mcschroeder/ghc,oldmanmike/ghc,tibbe/ghc,tjakway/ghcjvm,mcschroeder/ghc,fmthoma/ghc,AlexanderPankiv/ghc,sdiehl/ghc,green-haskell/ghc,sdiehl/ghc,anton-dessiatov/ghc,nkaretnikov/ghc,sdiehl/ghc,GaloisInc/halvm-ghc,lukexi/ghc-7.8-arm64,gcampax/ghc,olsner/ghc,urbanslug/ghc,ghc-android/ghc,AlexanderPankiv/ghc,sgillespie/ghc,oldmanmike/ghc,ryantm/ghc,AlexanderPankiv/ghc,shlevy/ghc,frantisekfarka/ghc-dsi,ekmett/ghc,spacekitteh/smcghc,olsner/ghc,nkaretnikov/ghc,wxwxwwxxx/ghc,vTurbine/ghc,wxwxwwxxx/ghc,forked-upstream-packages-for-ghcjs/ghc,snoyberg/ghc,gcampax/ghc,hferreiro/replay,oldmanmike/ghc,olsner/ghc,sgillespie/ghc,sgillespie/ghc,urbanslug/ghc,hferreiro/replay,AlexanderPankiv/ghc,da-x/ghc,fmthoma/ghc,nkaretnikov/ghc,christiaanb/ghc,ezyang/ghc,mfine/ghc,fmthoma/ghc,gcampax/ghc,holzensp/ghc,ilyasergey/GHC-XAppFix,da-x/ghc,urbanslug/ghc,wxwxwwxxx/ghc,fmthoma/ghc,tibbe/ghc,nathyong/microghc-ghc,nathyong/microghc-ghc,acowley/ghc,da-x/ghc,ml9951/ghc,mcmaniac/ghc,nomeata/ghc,mcschroeder/ghc,mfine/ghc,snoyberg/ghc,lukexi/ghc,nathyong/microghc-ghc,GaloisInc/halvm-ghc,gridaphobe/ghc,ezyang/ghc,forked-upstream-packages-for-ghcjs/ghc,frantisekfarka/ghc-dsi,shlevy/ghc,mcmaniac/ghc,mcschroeder/ghc,elieux/ghc,spacekitteh/smcghc,jstolarek/ghc,nushio3/ghc,acowley/ghc,nathyong/microghc-ghc,holzensp/ghc,gcampax/ghc,vTurbine/ghc,jstolarek/ghc,shlevy/ghc,ml9951/ghc,siddhanathan/ghc,ezyang/ghc,lukexi/ghc-7.8-arm64,shlevy/ghc,siddhanathan/ghc,christiaanb/ghc,vikraman/ghc,olsner/ghc,ml9951/ghc,ezyang/ghc,TomMD/ghc,ml9951/ghc,TomMD/ghc,elieux/ghc,ghc-android/ghc,anton-dessiatov/ghc,AlexanderPankiv/ghc,anton-dessiatov/ghc,mettekou/ghc,ghc-android/ghc,mfine/ghc,nathyong/microghc-ghc,hferreiro/replay,nushio3/ghc,ml9951/ghc,TomMD/ghc,lukexi/ghc,snoyberg/ghc,christiaanb/ghc,ryantm/ghc,tibbe/ghc,TomMD/ghc,shlevy/ghc,lukexi/ghc,nkaretnikov/ghc,jstolarek/ghc,gridaphobe/ghc,GaloisInc/halvm-ghc,gridaphobe/ghc,siddhanathan/ghc,snoyberg/ghc,sgillespie/ghc,mcmaniac/ghc,sdiehl/ghc,tjakway/ghcjvm,urbanslug/ghc,mcschroeder/ghc,mfine/ghc,christiaanb/ghc,green-haskell/ghc,mfine/ghc,mettekou/ghc,gridaphobe/ghc,mcmaniac/ghc,anton-dessiatov/ghc,christiaanb/ghc,olsner/ghc,mettekou/ghc,bitemyapp/ghc,sdiehl/ghc,anton-dessiatov/ghc,ryantm/ghc,tjakway/ghcjvm,olsner/ghc,nomeata/ghc,forked-upstream-packages-for-ghcjs/ghc,jstolarek/ghc,wxwxwwxxx/ghc,hferreiro/replay,anton-dessiatov/ghc,elieux/ghc,da-x/ghc,wxwxwwxxx/ghc,sgillespie/ghc,vikraman/ghc,wxwxwwxxx/ghc,frantisekfarka/ghc-dsi,siddhanathan/ghc,nathyong/microghc-ghc,GaloisInc/halvm-ghc,frantisekfarka/ghc-dsi,sdiehl/ghc,vTurbine/ghc,siddhanathan/ghc,forked-upstream-packages-for-ghcjs/ghc,snoyberg/ghc,nushio3/ghc,nkaretnikov/ghc,forked-upstream-packages-for-ghcjs/ghc,urbanslug/ghc,lukexi/ghc-7.8-arm64,christiaanb/ghc,ml9951/ghc,snoyberg/ghc,da-x/ghc,AlexanderPankiv/ghc,ghc-android/ghc,da-x/ghc,nushio3/ghc,fmthoma/ghc,ilyasergey/GHC-XAppFix,ghc-android/ghc,mcschroeder/ghc,mfine/ghc,nkaretnikov/ghc,sgillespie/ghc,lukexi/ghc-7.8-arm64,oldmanmike/ghc,ryantm/ghc,ezyang/ghc,hferreiro/replay,elieux/ghc,vTurbine/ghc,hferreiro/replay,acowley/ghc,snoyberg/ghc,ekmett/ghc,TomMD/ghc,christiaanb/ghc,oldmanmike/ghc,mettekou/ghc,holzensp/ghc,sgillespie/ghc,green-haskell/ghc,gcampax/ghc,shlevy/ghc,vikraman/ghc,gridaphobe/ghc,olsner/ghc