[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Chicken-hackers] [PATCH] Handle type-variables in initial argument

From: Peter Bex
Subject: Re: [Chicken-hackers] [PATCH] Handle type-variables in initial argument types
Date: Thu, 16 Aug 2012 19:17:50 +0200
User-agent: Mutt/

On Wed, Aug 15, 2012 at 09:56:34PM +0200, Felix wrote:
> In "strict-types" mode, the initial types of procedure arguments are
> assumed to default to those found in existing declarations, but this
> did not detect and resolve type variables in "forall" types.

Looks good, pushed.

> Reported by Moritz, should fix #896.

Shouldn't this case be added to the tests?

"The process of preparing programs for a digital computer
 is especially attractive, not only because it can be economically
 and scientifically rewarding, but also because it can be an aesthetic
 experience much like composing poetry or music."
                                                        -- Donald Knuth

reply via email to

[Prev in Thread] Current Thread [Next in Thread]