2012/1/8 Gábor Lehel :
> Another thing that would be nice is lenses to solve the
> nested-record-update problem - at least the room to add them later.
> Most of the proposed syntax would be unaffected, but you'd need some
> syntax for the lens itself... I'm not sure what it might be. Would it
> be
Thank you. I have a few questions/comments.
"The module/record ambiguity is dealt with in Frege by preferring
modules and requiring a module prefix for the record if there is
ambiguity."
I think I see why they do it this way (otherwise you can't refer to a
module if a record by the same name is
Hello,
Consider the following code:
{-# LANGUAGE MultiParamTypeClasses, FlexibleInstances, OverlappingInstances,
UndecidableInstances, FunctionalDependencies #-}
class Container a b | a -> b where
make :: b -> a
data Cont a = Cont a deriving (Show, Eq)
instance Container (Cont a
I have updated the wiki - the entry level page [1] compares the different
proposals and points to a more fleshed out explanation of the Frege
proposal [2].
I think I now understand the differences between the existing proposals and
am able to provide leadership to move this forward. Let me summari
Dear GHC-Team,
to improve the quality of Haskell on Debian started to package the GHC
testsuite in a package of its own, and will upload it to Debian so that
it runs on all architectures and catches possible architecture-dependent
bugs there.
Using the released testsuite for 7.0.4 with that versi