Thanks to all! Paul
On Fri, Mar 19, 2010 at 04:24:17PM +0100, Bas van Dijk wrote: > On Fri, Mar 19, 2010 at 4:03 AM, Nicolas Frisby > <[email protected]> wrote: > > Alternatively: > > > > let f :: <some type involving a> > > f = ... > > > > f' :: a -> <some type involving a> > > f' _ = f > > in f' (undefined :: Int) <normal f arguments> > > Or use Edward Kmett's tagged library: > > http://hackage.haskell.org/packages/archive/tagged/0.0/doc/html/Data-Tagged.html > > so you don't have to use bottom values: > > let f :: <some type involving a> > f = ... > > f' :: Tagged a <some type involving a> > f' = Tagged f > > regards, > > Bas > _______________________________________________ > Haskell-Cafe mailing list > [email protected] > http://www.haskell.org/mailman/listinfo/haskell-cafe _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
