|
|
newtype and existentials: msg#00029lang.haskell.glasgow.bugs
Is there a strong reason why > {-# OPTIONS -fglasgow-exts #-} > data Type :: (* -> *) where > Int :: Type Int > data Dynamic = forall a . Dyn (a, Type a) works, but not > newtype Dynamic = forall a . Dyn (a, Type a) Cheers, Ralf
|
|
| <Prev in Thread] | Current Thread | [Next in Thread> |
|---|---|---|
| Previous by Date: | Re: runProcess+removeFile, Windows, possibly finaliser not running, Esa Ilari Vuokko |
|---|---|
| Next by Date: | RE: newtype and existentials, Simon Peyton-Jones |
| Previous by Thread: | [ ghc-Bugs-1358718 ] undefined behavior in time_str (RtsUtils.c), SourceForge.net |
| Next by Thread: | Re: newtype and existentials, Tomasz Zielonka |
| Indexes: | [Date] [Thread] [Top] [All Lists] |
| News | FAQ | advertise |