coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Parameterized Instances for type classes

From: Alexandre Pilkiewicz <alexandre.pilkiewicz AT polytechnique.org>
To: Matthieu Sozeau <mattam AT mattam.org>
Cc: Coq Club <coq-club AT inria.fr>
Subject: Re: [Coq-Club] Parameterized Instances for type classes
Date: Wed, 21 Jul 2010 09:52:17 -0400
Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:sender:in-reply-to:references:from:date :x-google-sender-auth:message-id:subject:to:cc:content-type; b=EKEj7LhRMGjmSwsB6YpaKSZbMj18DWvao21jE0g2mwB9+vcYQB7d5EhvwRVmjsC4Am 3q66dD5IcvyKuFgYHhcmDaf4gEe0pZRkkAvA/j3ai0PzdoB0nGrC2c/wxVcCFkh5tOP+ jeER0bIDlZcddcEbZTQAesbKh+J0vML4HfUvU=

Hi all

2010/7/20 Matthieu Sozeau
<mattam AT mattam.org>:
> Basically you want higher-order unification
> to work here,

Just moving the A at the end of the FPair, and removing the (fun A =>
...) makes everything works!

I have my nice do notation for "free" now :)

Cheers

-- Alexandre

[Coq-Club] Parameterized Instances for type classes, Alexandre Pilkiewicz
- Re: [Coq-Club] Parameterized Instances for type classes, Matthieu Sozeau
  - Re: [Coq-Club] Parameterized Instances for type classes, Alexandre Pilkiewicz
  - Re: [Coq-Club] Parameterized Instances for type classes, Alexandre Pilkiewicz