trouble building ghc-7.4 on Fedora 18 (devel) ARM

2012-04-22 Thread Jens Petersen
Hi, I have been struggling to build ghc74 on ARM (ideally with llvm3) on Fedora 18 (the current development tree). After applying 4 recent ARM patches from Debian the ghc-7.4.1 build gets to: : inplace/bin/ghc-stage1 -H32m -O-package-name base-4.5.0.0 -hide-all-packages -i

Re: trouble building ghc-7.4 on Fedora 18 (devel) ARM

2012-04-22 Thread Joachim Breitner
Hi Jens, Am Sonntag, den 22.04.2012, 17:19 +0900 schrieb Jens Petersen: Anyway thoughts on how to proceed? the error message looks as if you are actually building on what Debian calls armhf, with hard floating point support. According to the Debian changelog: ghc (7.4.1-2) unstable;

Re: default instance for IsString

2012-04-22 Thread Greg Weber
so how can I update the documentation? I asked some of the most experienced Haskell users at the Hackathon about this, and looked through any documentation I could find and there was nothing indicating I could do what you sent in your last message. On Sun, Apr 22, 2012 at 8:15 AM, Markus Läll

Re: default instance for IsString

2012-04-22 Thread Brent Yorgey
I do not think this is a bug. Since type classes are open, GHC does not do any reasoning of the form X is the only instance in scope, so I will pick that one. Other instances could be added at any time (perhaps in other modules). In this particular instance, GHC has no reason to choose the Text

Re: default instance for IsString

2012-04-22 Thread Johan Tibell
On Sun, Apr 22, 2012 at 10:37 AM, Brent Yorgey byor...@seas.upenn.edu wrote: I do not think this is a bug.  Since type classes are open, GHC does not do any reasoning of the form X is the only instance in scope, so I will pick that one.  Other instances could be added at any time (perhaps in

RE: default instance for IsString

2012-04-22 Thread Simon Peyton-Jones
| Couldn't we make a special case for IsString, like we do for Num, | given it's special syntactic association with OverloadedStrings? Maybe so. It's open to anyone to make a concrete proposal. See http://hackage.haskell.org/trac/ghc/ticket/6030 which may be the same issue. Simon |

Re: default instance for IsString

2012-04-22 Thread Jeremy Shaw
I have often wished for something like: {-# LANGUAGE StringLiteralsAs Text #-} where all string literals like: f = foo would be translated to: f = (fromString foo :: Text) I find that OverloadedStrings is too general and causes ambiguous type errors. Additionally, I seldom find that I have

Re: default instance for IsString

2012-04-22 Thread Greg Weber
Sorry, someone responded on haskell-cafe and the message didn't get sent here. You can default a String. So this compiles just fine: {-# LANGUAGE OverloadedStrings #-} {-# LANGUAGE ExtendedDefaultRules #-} import Data.Text as T default (T.Text) classNoDefault a where noDefault :: a -

Re: Records in Haskell: Explicit Classy Records

2012-04-22 Thread AntC
Matthew Farkas-Dyck strake888 at gmail.com writes: I made another proposal for records in Haskell, meant to solve just the namespace problem, and no more. http://hackage.haskell.org/trac/ghc/wiki/Records/ExplicitClassyRecords Thanks Matthew, I'm finding your wiki too sketchy to follow.