• [^] # Re: Changer la signature peut-être ?

    Posté par . En réponse au message Problème de types en Haskell. Évalué à 1.

    ayé !
    j'ai regardé du côté des quantificateurs et je suis tombé sur ces 2 pages :
    Stackoverflow
    Explaining Haskell RankNTypes for All

    Du coup j'ai ajouté RankNTypes, j'ai modifié le type de ma fonction et ça marche !!

    {-# LANGUAGE RankNTypes #-}
(|>|) :: Backend a => (forall a . Backend a => Operation a) -> (forall a . Backend a => Operation a) -> Operation a
op1 |>| op2 = do
 BoundingBox [bx1, _, _] <- op1
 BoundingBox [bx2, _, _] <- op2
 jefaismoncalculetjetranslate op1 op2

    merci pour la piste des quantificateurs.