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 ty (id ty) where ty is

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: 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 http://gnu.org/licenses/gpl.html This is free software: you are free

Re: GHC compilation error (re-post).

2013-01-18 Thread Ben Gamari
Caitlin bioprogram...@gmail.com 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

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 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

Re: GHC compilation error (re-post).

2013-01-18 Thread Brandon Allbery
On Fri, Jan 18, 2013 at 1:05 PM, Ben Gamari bgamari.f...@gmail.com 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

Re: GHC compilation error (re-post).

2013-01-18 Thread J. Garrett Morris
On Fri, Jan 18, 2013 at 11:32 AM, Brandon Allbery allber...@gmail.com wrote: On Fri, Jan 18, 2013 at 1:05 PM, Ben Gamari bgamari.f...@gmail.com 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

Re: GHC compilation error (re-post).

2013-01-18 Thread Brandon Allbery
On Fri, Jan 18, 2013 at 2:53 PM, J. Garrett Morris jgmor...@cs.pdx.eduwrote: Why is it trying to create .? You can specify -odir 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

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

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 allber...@gmail.comwrote: On Fri, Jan 18, 2013 at 2:53 PM, J. Garrett Morris jgmor...@cs.pdx.eduwrote: Why is it trying to create .? You can specify -odir with a directory that

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

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 eric.pash...@gmail.com 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:

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 shac...@gmail.com wrote: On Fri, Jan 18, 2013 at 3:32 PM, Eric M. Pashman

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

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

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