19 Mar
2010
19 Mar
'10
11:24 a.m.
On Fri, Mar 19, 2010 at 4:03 AM, Nicolas Frisby
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.... 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