Unlifted data types

[Simon Peyton Jones]

| Michael Greenberg points out on Twitter that suspend must be a special
| form, just like lambda abstraction.

This isn't reflected on the wiki.

Simon

| -----Original Message-----
| From: ghc-devs [mailto:ghc-devs-bounces at haskell.org] On Behalf Of Edward
| Z. Yang
| Sent: 04 September 2015 16:46
| To: Eric Seidel; ghc-devs
| Subject: Re: Unlifted data types
| 
| Excerpts from Edward Z. Yang's message of 2015-09-04 08:43:48 -0700:
| > Yes.  Actually, you have a good point that we'd like to have functions
| > 'force :: Int -> !Int' and 'suspend :: !Int -> Int'. Unfortunately, we
| > can't generate 'Coercible' instances for these types unless Coercible
| becomes
| > polykinded.  Perhaps we can make a new type class, or just magic
| > polymorphic functions.
| 
| Michael Greenberg points out on Twitter that suspend must be a special
| form, just like lambda abstraction.
| 
| Edward
| _______________________________________________
| ghc-devs mailing list
| ghc-devs at haskell.org
| http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs