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
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:
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,
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
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
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
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
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:
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:
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
>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:
| 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
12 matches
Mail list logo