Thank you

2018-08-22 Thread Simon Peyton Jones via ghc-devs
Ryan I just wanted to thank you for the incredible job you are doing in finding and fixing GHC bugs. From deriving, to pattern-match overlap checking, to Template Haskell, to arcane corners of the type inference engine... you are a bug-fixing machine! Plus you often bisect to find the patch

RE: Build entirely broken

2018-08-22 Thread Simon Peyton Jones via ghc-devs
Yes I tried that, following my previous email. And indeed that was it. Gah! Time wasted. But at least it's solved now. Simon | -Original Message- | From: Ben Gamari | Sent: 22 August 2018 12:43 | To: Simon Peyton Jones via ghc-devs ; Simon Peyton | Jones ; ghc-devs | Subject:

Re: Unlifted primop types

2018-08-22 Thread David Feuer
The problem is that this also accepts things that aren't pointers at all! We could fix that *for primops* by changing RuntimeRep to something like data RuntimeRep = PtrRep Liftedness | ... But that would only work for primops (at least for now) so it may not be worth the breakage. On Wed,

RE: Unlifted primop types

2018-08-22 Thread Ben Gamari
Simon Peyton Jones writes: > | Huh! It looks like what we currently do for some primops is just use a > | totally bogus kind. For example, mkWeak# will happily accept an Int# as > | its first argument. > > Well, I see > primop MkWeakOp "mkWeak#" GenPrimOp > o -> b -> (State# RealWorld

RE: Build entirely broken

2018-08-22 Thread Ben Gamari
Simon Peyton Jones via ghc-devs writes: > Sigh. I spoke too soon. > > Exactly the same thing has happened starting from a clean build. > > I'm utterly stuck. Why is CString.o not being built? > Can you try reverting 1cc9061fce42? Perhaps this is a linker compatibility issue? Cheers, - Ben

RE: Build entirely broken

2018-08-22 Thread Simon Peyton Jones via ghc-devs
If I add -v3 to the compile line for CString I see .. *** Linker: gcc -fno-stack-protector -DTABLES_NEXT_TO_CODE '-fuse-ld=gold' -Wl,--no-as-needed -nostdlib -Wl,-r -no-pie -nodefaultlibs -Wl,-no-relax '-Wl,--build-id=none' -o libraries/ghc-prim/dist-install/build/GHC/CString.o

RE: Build entirely broken

2018-08-22 Thread Simon Peyton Jones via ghc-devs
Sigh. I spoke too soon. Exactly the same thing has happened starting from a clean build. I'm utterly stuck. Why is CString.o not being built? S | -Original Message- | From: ghc-devs On Behalf Of Simon Peyton | Jones via ghc-devs | Sent: 22 August 2018 12:06 | To: Ömer Sinan

RE: Build entirely broken

2018-08-22 Thread Simon Peyton Jones via ghc-devs
Panic over. Removing the entire build tree and starting again solved it. I have no idea what the original problem was. Sorry for false alarm Simon | -Original Message- | From: Ömer Sinan Ağacan | Sent: 22 August 2018 11:37 | To: Simon Peyton Jones | Cc: ghc-devs | Subject:

RE: Build entirely broken

2018-08-22 Thread Simon Peyton Jones via ghc-devs
Yes, submodules are up to date. I was doing 'sh validate --fast' which should clean the tree. I've just removed the entire build tree and will try from scratch. Simon | -Original Message- | From: Ömer Sinan Ağacan | Sent: 22 August 2018 11:37 | To: Simon Peyton Jones | Cc:

Re: Build entirely broken

2018-08-22 Thread Ömer Sinan Ağacan
I wonder if this could be a problem with your tree? I just did git pull git submodule update --init make distclean ./boot ./configure make and it worked. Note that I tried with "quick" build flavor. Ömer Simon Peyton Jones via ghc-devs , 22 Ağu 2018 Çar, 13:12 tarihinde

Build entirely broken

2018-08-22 Thread Simon Peyton Jones via ghc-devs
>From a clean build I'm getting this ld: cannot find libraries/ghc-prim/dist-install/build/GHC/CString.o: No such file or directory ld: cannot find libraries/ghc-prim/dist-install/build/GHC/Classes.o: No such file or directory ld: cannot find libraries/ghc-prim/dist-install/build/GHC/Debug.o:

RE: Unlifted primop types

2018-08-22 Thread Simon Peyton Jones via ghc-devs
| Huh! It looks like what we currently do for some primops is just use a | totally bogus kind. For example, mkWeak# will happily accept an Int# as | its first argument. Well, I see primop MkWeakOp "mkWeak#" GenPrimOp o -> b -> (State# RealWorld -> (# State# RealWorld, c #)) and I