Wed Aug 22 20:20:48 PDT 2007 Roman Leshchinskiy <[EMAIL PROTECTED]>
* Generate dictPRepr
M ./compiler/vectorise/VectType.hs -1 +9
M ./compiler/vectorise/VectUtils.hs -2 +13
___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/m
Wed Aug 22 19:36:58 PDT 2007 Roman Leshchinskiy <[EMAIL PROTECTED]>
* Add generation of PR dictionaries
M ./compiler/vectorise/VectUtils.hs +32
___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/mailman/listinfo/cvs-ghc
Wed Aug 22 18:53:51 PDT 2007 Roman Leshchinskiy <[EMAIL PROTECTED]>
* Initialise PR dictionaries in vectorisation monad
M ./compiler/vectorise/VectBuiltIn.hs -13 +32
M ./compiler/vectorise/VectMonad.hs +2
___
Cvs-ghc mailing list
Cvs-ghc@hask
Wed Aug 22 18:45:26 PDT 2007 Roman Leshchinskiy <[EMAIL PROTECTED]>
* Add PR dictionaries to vectorisation monad
M ./compiler/vectorise/VectMonad.hs -1 +13
___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/mailman/listinfo/cvs-g
Wed Aug 22 18:41:31 PDT 2007 Roman Leshchinskiy <[EMAIL PROTECTED]>
* Embed doesn't store a PA dictionary any more
M ./compiler/vectorise/VectUtils.hs -18 +11
___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/mailman/listinfo/cv
Wed Aug 22 18:34:58 PDT 2007 Roman Leshchinskiy <[EMAIL PROTECTED]>
* Read the package state after pulling in all built-ins during vectorisation
M ./compiler/vectorise/VectMonad.hs -7 +8
___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.has
Wed Aug 22 18:30:21 PDT 2007 Roman Leshchinskiy <[EMAIL PROTECTED]>
* Move all vectorisation built-ins to VectBuiltIn
M ./compiler/vectorise/VectBuiltIn.hs -3 +52
M ./compiler/vectorise/VectMonad.hs -28 +20
M ./compiler/vectorise/Vectorise.hs -14
___
Wed Aug 22 17:24:06 PDT 2007 Roman Leshchinskiy <[EMAIL PROTECTED]>
* Move vectorisation built-ins to a separate module
M ./compiler/package.conf.in +1
A ./compiler/vectorise/VectBuiltIn.hs
M ./compiler/vectorise/VectMonad.hs -87 +2
___
C
Wed Aug 22 09:09:53 PDT 2007 Roman Leshchinskiy <[EMAIL PROTECTED]>
* PR is an explicit record, not a class
M ./compiler/prelude/PrelNames.lhs -4 +3
M ./compiler/vectorise/VectMonad.hs -3 +6
___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http:/
Tue Aug 21 23:58:50 PDT 2007 Roman Leshchinskiy <[EMAIL PROTECTED]>
* Add vectorisation-related built-in
M ./compiler/prelude/PrelNames.lhs -1 +4
M ./compiler/vectorise/VectMonad.hs +4
___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.h
Tue Aug 21 23:18:25 PDT 2007 Roman Leshchinskiy <[EMAIL PROTECTED]>
* Generate conversion from PRepr to original type
M ./compiler/vectorise/VectType.hs -3 +22
M ./compiler/vectorise/VectUtils.hs -8 +60
___
Cvs-ghc mailing list
Cvs-ghc@haskel
Tue Aug 21 22:41:31 PDT 2007 Roman Leshchinskiy <[EMAIL PROTECTED]>
* Refactoring
M ./compiler/vectorise/VectUtils.hs -16 +26
___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/mailman/listinfo/cvs-ghc
Tue Aug 21 22:09:27 PDT 2007 Roman Leshchinskiy <[EMAIL PROTECTED]>
* Generate conversion to PRepr during vectorisation
M ./compiler/vectorise/VectType.hs -21 +41
M ./compiler/vectorise/VectUtils.hs -47 +48
___
Cvs-ghc mailing list
Cvs-ghc@ha
Tue Aug 21 21:46:34 PDT 2007 Roman Leshchinskiy <[EMAIL PROTECTED]>
* Use NDP's own (:*:) and (:+:)
M ./compiler/prelude/PrelNames.lhs -1 +6
M ./compiler/vectorise/VectMonad.hs -2 +2
___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.has
Tue Aug 21 20:44:11 PDT 2007 Roman Leshchinskiy <[EMAIL PROTECTED]>
* Utility functions for vectorisation
M ./compiler/vectorise/VectUtils.hs +45
___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/mailman/listinfo/cvs-ghc
Tue Aug 21 19:49:23 PDT 2007 Roman Leshchinskiy <[EMAIL PROTECTED]>
* More refactoring
M ./compiler/vectorise/VectType.hs -17 +3
M ./compiler/vectorise/VectUtils.hs -2 +19
___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/ma
Tue Aug 21 19:32:30 PDT 2007 Roman Leshchinskiy <[EMAIL PROTECTED]>
* Refactoring
M ./compiler/vectorise/VectUtils.hs -17 +27
___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/mailman/listinfo/cvs-ghc
Tue Aug 21 19:11:33 PDT 2007 Roman Leshchinskiy <[EMAIL PROTECTED]>
* Add built-ins to vectorisation monad
M ./compiler/vectorise/VectMonad.hs -2 +10
___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/mailman/listinfo/cvs-ghc
Tue Aug 21 19:08:14 PDT 2007 Roman Leshchinskiy <[EMAIL PROTECTED]>
* Refactoring
M ./compiler/vectorise/VectType.hs -19 +19
___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/mailman/listinfo/cvs-ghc
Tue Aug 21 18:59:30 PDT 2007 Roman Leshchinskiy <[EMAIL PROTECTED]>
* Vectorise nullary constructors correctly
M ./compiler/vectorise/VectUtils.hs +2
___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/mailman/listinfo/cvs-ghc
Tue Aug 21 18:29:07 PDT 2007 Roman Leshchinskiy <[EMAIL PROTECTED]>
* Rename vectorisation-related stuff
M ./compiler/prelude/PrelNames.lhs -3 +3
M ./compiler/vectorise/VectMonad.hs -3 +3
M ./compiler/vectorise/VectType.hs -4 +4
___
Cvs-g
Tue Aug 21 18:22:36 PDT 2007 Roman Leshchinskiy <[EMAIL PROTECTED]>
* Generate PRepr instances during vectorisation
M ./compiler/basicTypes/OccName.lhs -1 +4
M ./compiler/vectorise/VectType.hs -4 +44
___
Cvs-ghc mailing list
Cvs-ghc@haskell.o
Tue Aug 21 00:17:09 PDT 2007 Roman Leshchinskiy <[EMAIL PROTECTED]>
* Use functions from BuildTyCl for vectorisation
M ./compiler/vectorise/VectMonad.hs +1
M ./compiler/vectorise/VectType.hs -75 +38
___
Cvs-ghc mailing list
Cvs-ghc@haskell.or
Mon Aug 20 21:00:34 PDT 2007 Roman Leshchinskiy <[EMAIL PROTECTED]>
* Add a couple of built-ins to the vectorisation monad
M ./compiler/vectorise/VectMonad.hs +15
___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/mailman/listinf
Mon Aug 20 19:45:29 PDT 2007 Roman Leshchinskiy <[EMAIL PROTECTED]>
* Get the PA dictionary for closures from the right module
M ./compiler/vectorise/Vectorise.hs -1 +1
___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/mailman/l
Mon Aug 20 19:44:46 PDT 2007 Roman Leshchinskiy <[EMAIL PROTECTED]>
* Remove packPA and combinePA from vectorisation built-ins for now
M ./compiler/vectorise/VectMonad.hs -6 +6
___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/m
Mon Aug 20 19:26:45 PDT 2007 Roman Leshchinskiy <[EMAIL PROTECTED]>
* Add NDP-related PrelNames
M ./compiler/prelude/PrelNames.lhs -1 +6
___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/mailman/listinfo/cvs-ghc
What is involved in making the testsuite and in particular the fast
run used in validate to be able to use multiple threads?
It's quite frustrating to wait around while my CPU is half idle.
Manuel
___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://w
Simon Marlow wrote:
Esa Ilari Vuokko wrote:
* I noticed this with alex, but it's probably true for many other
tools; If there's spaces in path, configure/build will fail
miserably. I can't find any guidelines how this is supposed
to be handled in configure/config.mk.in/suffix.mk/othe
On Wed, Aug 22, 2007 at 11:57:39PM +0100, Simon Peyton-Jones wrote:
> The issue is different here. You are *lazily* matching the pattern, so it'd
> be unsound in general to accept this. Same thing if you said
> fstTy ~(a :-> b) = a
> Now in this case the RHS is strict in 'a' so it
got it. thanks much! - Conal
On 8/22/07, Simon Peyton-Jones <[EMAIL PROTECTED]> wrote:
>
> The issue is different here. You are **lazily** matching the pattern, so
> it'd be unsound in general to accept this. Same thing if you said
>
> fstTy ~(a :-> b) = a
>
> Now in this case
Wed Aug 22 16:03:24 PDT 2007 [EMAIL PROTECTED]
* Print infix function definitions correctly in HsSyn
M ./compiler/deSugar/DsBinds.lhs -2 +3
M ./compiler/deSugar/DsExpr.lhs -2 +3
M ./compiler/deSugar/Match.lhs -2 +2
M ./compiler/hsSyn/HsBinds.lhs -3 +3
M ./compiler/hsSyn/HsEx
Wed Aug 22 16:02:55 PDT 2007 [EMAIL PROTECTED]
* Trim imports
M ./compiler/coreSyn/CoreTidy.lhs -1
___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/mailman/listinfo/cvs-ghc
The issue is different here. You are *lazily* matching the pattern, so it'd be
unsound in general to accept this. Same thing if you said
fstTy ~(a :-> b) = a
Now in this case the RHS is strict in 'a' so it's probably ok but it's not in
general. Nothing to do with rigidity. The e
How about this one (relative to same Ty def)?
fstTy :: Ty (a -> b) -> Ty a
fstTy (a :-> b) = a
fstTy' :: Ty (a -> b) -> Ty a
fstTy' ty = a where (a :-> b) = ty
The first definition works, while the second triggers the complaint about
non-rigidity.I don't know how to type-anno
Wed Aug 22 13:20:40 PDT 2007 Ian Lynagh <[EMAIL PROTECTED]>
* Add a bindisttest directory
After
make binary-dist stage=2
you can run make in bindisttest/ to test it
M ./Makefile -2 +3
A ./bindisttest/
A ./bindisttest/HelloWorld.hs
A ./bindisttest/Makefile
A ./bindi
Wed Aug 22 13:10:49 PDT 2007 Ian Lynagh <[EMAIL PROTECTED]>
* Include package.mk in target.mk, in the bindists's mk/
M ./Makefile -1 +2
___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/mailman/listinfo/cvs-ghc
> nativeGen/RegArchBase.hs:94: Variable not in scope: `Set.size'
> nativeGen/RegArchBase.hs:99: Variable not in scope: `Set.map'
...
Sorry, my fault - I thought I already changed all of these to use
UniqSet instead.
I did a validate on this before I pushed, but I guess it didn't pick it
up becau
Build description = HEAD on i386-unknown-linux
(cam-02-unx.europe.corp.microsoft.com)
Build location= /playpen/ghc/nightly/HEAD-cam-02-unx
Build config file = /home/simonmar/nightly/site/msrc/conf-HEAD-cam-02-unx
Nightly build started on cam-02-unx at Wed Aug 22 19:30:00 BST 2007.
checki
Wed Aug 22 11:36:32 PDT 2007 Michael D. Adams <[EMAIL PROTECTED]>
* Build fix: modBreaks -> modBreaks_decls modbreaks
M ./compiler/main/InteractiveEval.hs -1 +1
___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/mailman/listinfo/
Ian Lynagh wrote:
On Wed, Aug 22, 2007 at 12:12:51PM -0300, Isaac Dupree wrote:
runghc -- -- -fglasgow-exts
would be needed to run a file named "-fglasgow-exts", compared to
I don't think we should worry too much about making it easy for people
to call their sources -fglasgow-exts.hs. In fact
On Wed, Aug 22, 2007 at 12:12:51PM -0300, Isaac Dupree wrote:
>
> runghc -- -- -fglasgow-exts
>
> would be needed to run a file named "-fglasgow-exts", compared to
I don't think we should worry too much about making it easy for people
to call their sources -fglasgow-exts.hs. In fact, I'm not eve
Esa Ilari Vuokko wrote:
* I noticed this with alex, but it's probably true for many other
tools; If there's spaces in path, configure/build will fail
miserably. I can't find any guidelines how this is supposed
to be handled in configure/config.mk.in/suffix.mk/other makefiles.
Our
Tue Aug 21 06:50:55 PDT 2007 Ian Lynagh <[EMAIL PROTECTED]>
* Stop the timeout calibration ever returning 0
M ./timeout/calibrate -1 +4
___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/mailman/listinfo/cvs-ghc
Wed Aug 22 07:34:22 PDT 2007 Ian Lynagh <[EMAIL PROTECTED]>
* Use unsafeDupableInterleaveIO in UniqSupply
We'll need to change this if we ever use threads in GHC, but for now it
drops mkSplitUniqSupply from 35% time down below 0.1% when compiling
J.hs from #1136.
M ./compiler/basicTyp
Tue Aug 21 14:04:59 PDT 2007 Esa Ilari Vuokko <[EMAIL PROTECTED]>
* Link ghc-pkg and hpc with containers if building ghc 6.7 or newer
M ./utils/ghc-pkg/Makefile +4
M ./utils/hpc/Makefile +4
___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://
Mon Aug 20 03:30:58 PDT 2007 Ian Lynagh <[EMAIL PROTECTED]>
* makeRelativeRefTo checks tablesNextToCode, so we don't have to before using
it
M ./compiler/cmm/CmmInfo.hs -6 +2
___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/ma
Ian Lynagh wrote:
On Wed, Aug 22, 2007 at 09:34:32AM -0300, Isaac Dupree wrote:
Hmm, ghc doesn't take '-f' as an argument alone... the odd '--'
interpretation
It's actually a standard way to separate groups of arguments, e.g.
touch -- -a
rm -- -a
will create and remove a file called
On Wed, Aug 22, 2007 at 01:12:53PM +0300, Esa Ilari Vuokko wrote:
>
> Attached few patches that I needed to build head with 6.7 binary
> snapshot installer.
Great, thanks! Will validate along with a couple of others and should
push shortly.
> * When building with ghc 6.6.1 and make -j2 or highe
The issue is this. When doing GADT matching, getting type inference to work
well, and interact well with other features (e.g. indexed type families) is
MUCH easier if the type being matched is totally known - we say "rigid". When
you used "$" you made GHC less sure about the type of the GADT m
On Wed, Aug 22, 2007 at 01:54:07PM +0100, Neil Mitchell wrote:
>
> We had similar problems in Yhc, so decided to move to Scons to have a
> properly cross platform and consistent build system. My only advice
> from that experiment is _never_ use Scons.
:-)
> Our current plan is to move
> to a han
On Wed, Aug 22, 2007 at 09:34:32AM -0300, Isaac Dupree wrote:
>
> Hmm, ghc doesn't take '-f' as an argument alone... the odd '--'
> interpretation
It's actually a standard way to separate groups of arguments, e.g.
touch -- -a
rm -- -a
will create and remove a file called -a, and
s
Hi Esa,
> For some weeks I've tried many times to get ghc builds going,
> with the idea I could help with Windows bugs. But I find simply
> building ghc in my non-static configuration Windows machine is
> simply too frustrating.
My experience building the libraries for Hugs using Windows (in
par
Neil Mitchell wrote:
Hi
Thanks for the tips, Isaac. I fixed my Ord decl. Too bad about the
run-time time & space overhead. I guess that's not fixable. Perhaps Simon
will decide to follow Pepe's suggestion of liberal deriving when
UndecidableInstances enabled.
If you implement compare, isn
Ian Lynagh wrote:
Hi Magnus,
On Sun, Jul 29, 2007 at 05:55:05PM -0400, Magnus Jonsson wrote:
Previously runghc only supported "runghc -fpath-to-ghc Main.hs".
With this patch it also supports "runghc -f path-to-ghc Main.hs", as it
claims in its syntax help message.
Thanks again for the patch.
Tue Aug 21 09:31:10 PDT 2007 [EMAIL PROTECTED]
* Allow redirection of -ddump-* to file
Whilst compiling Main.hs with -ddump-stg, ddump-asm and friends
you can how add -ddump-to-file and you'll get the dumps redirected
to Main.dump-stg, Main.dump-asm etc.
M ./compiler/main/DriverPipeli
Tue Aug 21 05:08:55 PDT 2007 [EMAIL PROTECTED]
* Instrument linear register allocator.
Linear register allocator now keeps track of why it spilled certain
registers. It had to be refactored somewhat to thread the information
through, but the algorithm is unchanged.
M ./compiler/na
Mon Aug 20 03:18:59 PDT 2007 [EMAIL PROTECTED]
* NCG debugging cleanup
M ./compiler/nativeGen/AsmCodeGen.lhs -22 +19
___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/mailman/listinfo/cvs-ghc
Mon Aug 20 02:39:19 PDT 2007 [EMAIL PROTECTED]
* Add vreg-conflicts and vreg-conflict-lifetimes to drop-asm-stats
M ./compiler/nativeGen/AsmCodeGen.lhs -34 +9
M ./compiler/nativeGen/GraphOps.hs -1 +20
M ./compiler/nativeGen/RegAllocStats.hs -2 +84
__
Fri Aug 17 09:22:54 PDT 2007 [EMAIL PROTECTED]
* Add vreg-population-lifetimes to drop-asm-stats
M ./compiler/nativeGen/AsmCodeGen.lhs -9 +25
M ./compiler/nativeGen/RegAllocColor.hs -2 +4
M ./compiler/nativeGen/RegAllocStats.hs -3 +18
___
Fri Aug 17 07:37:30 PDT 2007 [EMAIL PROTECTED]
* Add dumping of native code gen stats to file.
Compiling module Foo with -ddrop-asm-stats produces a file
called Foo.dump-asm-stats which will contain increasingly
interesting information.
M ./compiler/main/CodeOutput.lhs -3 +3
Fri Aug 17 05:15:57 PDT 2007 [EMAIL PROTECTED]
* Refactor dumping of register allocator statistics.
M ./compiler/nativeGen/AsmCodeGen.lhs -10 +10
M ./compiler/nativeGen/RegAllocColor.hs -82 +19
A ./compiler/nativeGen/RegAllocStats.hs
M ./compiler/nativeGen/RegSpill.hs -35 +57
Tue Aug 21 03:34:51 PDT 2007 Clemens Fruhwirth <[EMAIL PROTECTED]>
* Linker.lhs to prefer DSO when it's build as dynamic library
M ./compiler/ghci/Linker.lhs -3 +23
___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/mailman/listi
Wed Aug 22 02:08:44 PDT 2007 Pepe Iborra <[EMAIL PROTECTED]>
* A partial attempt to improve :stepover
With this patch, :stepover can effectively appear to step over recursive
calls and
calls to locally bound functions (in a where clause).
However, when we run out of ticks
Wed Aug 22 01:42:54 PDT 2007 Pepe Iborra <[EMAIL PROTECTED]>
* Better document :stepover and its limitations
:stepover only works lexically locally, in the context of the
current expression. I have tried to make this point clear
in the users guide with an example.
M ./compiler
Tue Aug 21 05:15:16 PDT 2007 Pepe Iborra <[EMAIL PROTECTED]>
* Small rearrangements
M ./compiler/ghci/InteractiveUI.hs -1 +1
M ./compiler/main/InteractiveEval.hs -2 +3
___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/mailma
Tue Aug 21 05:03:50 PDT 2007 Pepe Iborra <[EMAIL PROTECTED]>
* Extend ModBreaks with the srcspan's of the enclosing expressions
M ./compiler/deSugar/Coverage.lhs -19 +28
M ./compiler/main/HscTypes.lhs +3
___
Cvs-ghc mailing list
Cvs-ghc@has
Wed Aug 22 01:40:26 PDT 2007 Simon Marlow <[EMAIL PROTECTED]>
* Doc for new manifest-related flags
M ./docs/users_guide/flags.xml +25
M ./docs/users_guide/phases.xml -1 +91
___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/m
Tue Aug 14 03:36:23 PDT 2007 [EMAIL PROTECTED]
* Add graph coloring register allocator.
Refactored linear allocator into separate liveness annotation and allocation
stages.
Added graph coloring allocator, use -fregs-graph to enable.
New dump flags are
-ddump-asm-native
Fri Aug 10 01:47:53 PDT 2007 Simon Marlow <[EMAIL PROTECTED]>
* FIX #1271: create manifests, and embed them in executables on Windows
We have 4 new flags:
-fno-gen-manifest
suppresses creation of foo.exe.manifest
-fno-embed-manifest
suppresses embedding of the ma
Build results:
x86-64 Linux head: lost
x86 Windows head: lost
x86 Windows head fast: fail (failed stage1) pass pass pass
gbesh Intel x86_64 Linux head: pass
kahl G5 Gentoo Linux head: fail (failed stage2)
macgyver PPC OSX head: fail (failed stage1)
mnemo
71 matches
Mail list logo