On Wed, Jan 4, 2012 at 9:41 PM, Yves Parès <limestr...@gmail.com> wrote: > Would you try: > > f :: a -> a > f x = undefined :: a > > And tell me if it works? IMO it doesn't.
It works. As I understand, in this situation we are specializing the 'undefined :: forall a. a' to a more specific dependent type. _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe