Hello,
I think I remember reading that the LLVM backend can be used to rebuild GHC
itself. Naively, I tried the following edit in GHC 7.0.1's mk/build.mk:
# Fast build via LLVM backend:
BuildFlavour = quickllvm
ifeq "$(BuildFlavour)" "quickllvm"
SRC_HC_OPTS= -H64m -O0 -fllvm -keep-llvm
Build description = STABLE on x86_64-unknown-linux (cam-04-unx)
Build location= /64playpen/simonmar/nightly/STABLE-cam-04-unx
Build config file = /home/simonmar/nightly/site/msrc/conf-STABLE-cam-04-unx
Nightly build started on cam-04-unx at Mon Feb 7 18:10:02 GMT 2011.
checking out new so
Build description = HEAD on x86_64-unknown-linux (cam-04-unx)
Build location= /64playpen/simonmar/nightly/HEAD-cam-04-unx
Build config file = /home/simonmar/nightly/site/msrc/conf-HEAD-cam-04-unx
Nightly build started on cam-04-unx at Mon Feb 7 18:00:01 GMT 2011.
checking out new source t
Hello! I'm currently attempting to reconstruct natural deduction proofs
(with explicit contraction/exchange/weakening) in System FC from
CoreSyn.Expr's in order to carry out a transformation which is defined
by induction on proofs (rather than terms). I have it working for
simple examples, and n
Hello! I'm currently attempting to reconstruct natural deduction proofs
(with explicit contraction/exchange/weakening) in System FC from
CoreSyn.Expr's in order to carry out a transformation which is defined
by induction on proofs (rather than terms). I have it working for
simple examples, and n
Hello! I'm currently attempting to reconstruct natural deduction proofs
(with explicit contraction/exchange/weakening) in System FC from
CoreSyn.Expr's in order to carry out a transformation which is defined
by induction on proofs (rather than terms). I have it working for
simple examples, and n
Ian
I'm getting this. I think I've pulled all stuff. Maybe a missing update to
tests in stm/tests?
Simon
=> stm053(threaded1) 2690 of 2715 [0, 4, 0]
cd ../../../libraries/stm/tests &&
'/64playpen/simonpj/builds/HEAD/bindisttest/install dir/bin/ghc' -fforce-recomp
-dcore-lint -dcmm-lint
Mon Feb 7 02:25:37 PST 2011 simo...@microsoft.com
* Fix Trac #4945: another SpecConstr infelicity
Well, more a plain bug really, which led to SpecConstr
missing some obvious opportunities for specialisation.
Thanks to Max Bolingbroke for spotting this.
M ./compiler/specialise/S
