Monomorphize, was: Re: Proposal for generalized function partition in List-library

Marcin 'Qrczak' Kowalczyk qrczak@knm.org.pl
18 May 2001 20:44:52 GMT


Fri, 18 May 2001 12:32:11 -0700, John Meacham <john@repetae.net> pisze:

> this is interesting, could someone give an example of how polymorphic
> recursion would disallow specialization of a function?

test:: Show a => a -> [String]
test x = show x : test [x]

-- 
 __("<  Marcin Kowalczyk * qrczak@knm.org.pl http://qrczak.ids.net.pl/
 \__/
  ^^                      SYGNATURA ZASTĘPCZA
QRCZAK