[Haskell-cafe] Parsec type error with Flexible Contexts

Felipe Almeida Lessa felipe.lessa at gmail.com
Fri Aug 10 00:57:37 CEST 2012


Here's an even smaller one:


{-# LANGUAGE MultiParamTypeClasses, FlexibleContexts #-}

data D m = D { bar :: P m () }
data P m c = P
class S m c where

foo :: S m () => P m ()
foo = undefined

emptyDef :: S m () => D m
emptyDef = D foo

haskellStyle :: S m () => D m
haskellStyle = emptyDef { bar = foo }


Cheers,

-- 
Felipe.



More information about the Haskell-Cafe mailing list