Re: any successfull ghc registerised builds on arm?

2013-01-18 Thread Stephen Paul Weber
Somebody claiming to be Stephen Paul Weber wrote: Somebody claiming to be Stephen Paul Weber wrote: Somebody claiming to be Nathan Hüsken wrote: Was that an registerised or unregisterised build? Did anyone succesfully build ghc on an arm system which produces non crashing executables? Just fi

Re: any successfull ghc registerised builds on arm?

2013-01-18 Thread Stephen Paul Weber
Somebody claiming to be Stephen Paul Weber wrote: Somebody claiming to be Nathan Hüsken wrote: Was that an registerised or unregisterised build? Did anyone succesfully build ghc on an arm system which produces non crashing executables? Just finally got a BB10 device set up so I can test my cro

Re: any successfull ghc registerised builds on arm?

2013-01-18 Thread Stephen Paul Weber
Somebody claiming to be Nathan Hüsken wrote: Was that an registerised or unregisterised build? Did anyone succesfully build ghc on an arm system which produces non crashing executables? Just finally got a BB10 device set up so I can test my cross-compiler on the ARM and I get: Process 267265

Re: Updating/understanding code from implicit configurations paper

2013-01-18 Thread Eric M. Pashman
Whoops. I forgot you need the explicit `forall` with scoped type variables. I thought there was something much more involved going on here. Thanks, Shachaf. Eric On Jan 18, 2013, at 17:54 , Shachaf Ben-Kiki wrote: > On Fri, Jan 18, 2013 at 3:32 PM, Eric M. Pashman > wrote: >> >>normaliz

Re: Updating/understanding code from implicit configurations paper

2013-01-18 Thread Shachaf Ben-Kiki
On Fri, Jan 18, 2013 at 3:32 PM, Eric M. Pashman wrote: > > normalize :: (Modular s a, Integral a) => a -> M s a > normalize x = (M (mod x (modulus (undefined :: s :: M s a > If you want your type variables to be scoped, you have to annotate them explicitly: normalize :: forall s a

Updating/understanding code from implicit configurations paper

2013-01-18 Thread Eric M. Pashman
Reading the implicit configurations paper (Kiselyov & Shan), I couldn't figure out how this bit of code (section 3.2) was meant to work: class Modular s a | s -> a where modulus :: s -> a normalize :: (Modular s a, Integral a) => a -> M s a normalize a :: M s a = M (mod a (modulus (u

Re: GHC compilation error (re-post).

2013-01-18 Thread Caitlin
Ahh...I see. Thanks Brandon. I was unaware of that. ~Caitlin On Fri, Jan 18, 2013 at 1:00 PM, Brandon Allbery wrote: > On Fri, Jan 18, 2013 at 2:53 PM, J. Garrett Morris wrote: > >> > Why is it trying to create "."? >> >> You can specify -o with a directory that doesn't exist; perhaps GHC >> a

Re: GHC compilation error (re-post).

2013-01-18 Thread Caitlin
Thanks Garrett. I deleted the Haskell Platform installation, manually removed all traces of GHC and the Hakell Platform from my registry and various folders, then re-installed the Haskell Platform. I created a folder under the 'C:\' drive, copied my .hs files there, changed to that subfolder start

Re: GHC compilation error (re-post).

2013-01-18 Thread Brandon Allbery
On Fri, Jan 18, 2013 at 2:53 PM, J. Garrett Morris wrote: > > Why is it trying to create "."? > > You can specify -o with a directory that doesn't exist; perhaps GHC > always tries to create the output directory? > > In any case, I can confirm the observed behavior with GHC 7.6.1 on > Windows 8, r

Re: GHC compilation error (re-post).

2013-01-18 Thread J. Garrett Morris
On Fri, Jan 18, 2013 at 11:32 AM, Brandon Allbery wrote: > On Fri, Jan 18, 2013 at 1:05 PM, Ben Gamari wrote: >> >> > on a Win32 (SP3) machine using the Haskell Platform and GHC-7.6.1 >> > (standalone) and I have noticed the same frustrating errors. Any >> > suggestions would be most appreciated.

Re: GHC compilation error (re-post).

2013-01-18 Thread Brandon Allbery
On Fri, Jan 18, 2013 at 1:05 PM, Ben Gamari wrote: > > on a Win32 (SP3) machine using the Haskell Platform and GHC-7.6.1 > > (standalone) and I have noticed the same frustrating errors. Any > > suggestions would be most appreciated. > > > Are you certain you have write permission for C:\? I'm not

Re: GHC compilation error (re-post).

2013-01-18 Thread Caitlin
Hi Ben and Garrett. I am logged in as the administrator (full access rights). This problem is quite confusing since I recall using a older version of the GHC (standalone) without any incidents. I have no idea how to solve this particular problem. Thanks, ~Caitlin On Fri, Jan 18, 2013 at 11:0

Re: Error building ghc on raspberry pi.

2013-01-18 Thread roconnor
On Fri, 18 Jan 2013, Karel Gardas wrote: On 01/18/13 05:49 PM, rocon...@theorem.ca wrote: I don't know much about gdb, but $ /usr/bin/gdb /tmp/Main GNU gdb (GDB) 7.4.1-debian Copyright (C) 2012 Free Software Foundation, Inc. License GPLv3+: GNU GPL version 3 or later

Re: GHC compilation error (re-post).

2013-01-18 Thread Ben Gamari
Caitlin writes: > Hi all. > > I wrote the following test program: > > bar x = x * x > > on a Win32 (SP3) machine using the Haskell Platform and GHC-7.6.1 > (standalone) and I have noticed the same frustrating errors. Any > suggestions would be most appreciated. > Are you certain you have write pe

Re: Error building ghc on raspberry pi.

2013-01-18 Thread Karel Gardas
On 01/18/13 05:49 PM, rocon...@theorem.ca wrote: I don't know much about gdb, but $ /usr/bin/gdb /tmp/Main GNU gdb (GDB) 7.4.1-debian Copyright (C) 2012 Free Software Foundation, Inc. License GPLv3+: GNU GPL version 3 or later This is free software: you are fre

Re: Error building ghc on raspberry pi.

2013-01-18 Thread roconnor
On Thu, 17 Jan 2013, rocon...@theorem.ca wrote: On Thu, 17 Jan 2013, Austin Seipp wrote: There have been a few of these bugs recently it seems. If you could: use the stage1 compiler to compile a simple executable, like 'main = return ()' or hello world or whatever. The stage1 compiler can be

RE: RULES map (\x -> x) = id

2013-01-18 Thread Simon Peyton-Jones
| So I wonder: Why is rule "map id2" not enough here? Compile with -ddump-rules. What you see is below. * The rule "map id" actually has an LHS like this: myMap a (id a) where the (id a) is a type application. It'll ONLY match a term that looks like myMap (id ) where is some