| 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@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@haskell.org | http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs