On 17 February 2011 00:33, Adam Megacz wrote:
> Technically according to the code, two Vars are equal if they have the
> same Unique. But if I understand correctly, Uniques are just supposed
> to be a way of making some other equivalence test go faster by picking a
> canonical representative (the
pgj-freebsd-amd64-stable (amd64 FreeBSD STABLE), build 155
Build succeeded
Details:
http://darcs.haskell.org/ghcBuilder/builders/pgj-freebsd-amd64-stable/155.html
darcs checkout| Success
create mk/build.mk| Success
get subrepos | Success
repo versions
Build description = HEAD on i386-unknown-linux (cam-02-unx)
Build location= /playpen/simonmar/nightly/HEAD
Build config file = /home/simonmar/nightly/site/msrc/conf-HEAD-cam-02-unx
Nightly build started on cam-02-unx at Wed Feb 16 18:00:01 GMT 2011.
checking out new source tree
pgj-freebsd-i386-stable (x86 FreeBSD STABLE), build 138
Build succeeded
Details:
http://darcs.haskell.org/ghcBuilder/builders/pgj-freebsd-i386-stable/138.html
darcs checkout| Success
create mk/build.mk| Success
get subrepos | Success
repo versions | S
Build description = STABLE on i386-unknown-linux (cam-02-unx)
Build location= /playpen/simonmar/nightly/STABLE
Build config file = /home/simonmar/nightly/site/msrc/conf-STABLE-cam-02-unx
Nightly build started on cam-02-unx at Wed Feb 16 18:10:01 GMT 2011.
checking out new source tree
pgj2 (amd64 FreeBSD HEAD), build 273
Build succeeded
Details: http://darcs.haskell.org/ghcBuilder/builders/pgj2/273.html
darcs checkout| Success
create mk/build.mk| Success
get subrepos | Success
repo versions | Success
setting version date | Succ
pgj (x86 FreeBSD HEAD), build 275
Build succeeded
Details: http://darcs.haskell.org/ghcBuilder/builders/pgj/275.html
darcs checkout| Success
create mk/build.mk| Success
get subrepos | Success
repo versions | Success
setting version date | Success
tn23 (x86 OSX HEAD), build 259
Build succeeded
Details: http://darcs.haskell.org/ghcBuilder/builders/tn23/259.html
darcs checkout| Success
create mk/build.mk| Success
get subrepos | Success
repo versions | Success
setting version date | Success
bo
Roman Leshchinskiy writes:
> However, coreView from types/Type.lhs expands one level of a type to
> the representation.
Ah, that worked perfectly. Thank you!
> But note that equality predicates as also PredTys and they aren't
> removed by coreView.
I see. Could you help me correlate EqPred
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 Wed Feb 16 18:00:01 GMT 2011.
checking out new source
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 Wed Feb 16 18:10:01 GMT 2011.
checking out new s
Max Bolingbroke writes:
>> Hrm, isn't it bad for two Var's with different fields to have the same
>> uniq? Because if they have the same uniq, they will be Eq-equal.
>
> Just because two vars are eq-equal does not mean that they refer to
> the "same thing".
Hrm, okay, thanks for clearing this u
kgardas-opensolaris-x86-head (x86 Solaris HEAD), build 133
Build succeeded
Details:
http://darcs.haskell.org/ghcBuilder/builders/kgardas-opensolaris-x86-head/133.html
darcs checkout| Success
create mk/build.mk| Success
get subrepos | Success
repo versions
Wed Feb 16 11:50:31 PST 2011 Ian Lynagh
* Fix testsuite on 7.0 branch
M ./tests/ghc-regress/gadt/all.T -4 +4
A ./tests/ghc-regress/simplCore/should_compile/T4908.stderr-ghc-7.0
M ./tests/ghc-regress/simplCore/should_compile/all.T -1 +1
View patch online:
http://darcs.haskell.org/c
In the next few weeks I will be posting two substantial modifications to
GHC in order to start getting feedback from a larger group of people.
Neither modification is appropriate for inclusion in the compiler at
this time (one is written in Coq rather than Haskell and the other
breaks separate com
On 16/02/2011, at 21:09, Adam Megacz wrote:
> GHC's PredTy construct doesn't seem to correspond neatly to any specific
> part of System FC. However, there is a comment in the source code near
> it indicating that "It can be expanded into its representation".
>
> Is there a particular point in th
GHC's PredTy construct doesn't seem to correspond neatly to any specific
part of System FC. However, there is a comment in the source code near
it indicating that "It can be expanded into its representation".
Is there a particular point in the compiler pipeline after which one can
be certain tha
On 16 February 2011 21:00, Adam Megacz wrote:
>> Lam (Var {name="x", uniq=79, type=Int})
>> (Lam (Var {name="x", uniq=79, type=Char})
>> (Var {name="x", uniq=79, type=Char})))
>
> Hrm, isn't it bad for two Var's with different fields to have the same
> uniq? Because
> Or did you mean that OccName-shadowing is allowed, but Var-shadowing
> is not?
By Var-shadowing, I guess I meant that there's no way to replace
{-FIXME-} in the code below to make it represent the expression
(\x::Int -> \x::Char -> e):
Lam v (Lam v e)
where
v::V
Sun Feb 13 06:28:28 PST 2011 Ian Lynagh
* Resolve conflict in 7.0 branch
M ./tests/ghc-regress/th/all.T -1 +2
View patch online:
http://darcs.haskell.org/cgi-bin/darcsweb.cgi?r=ghc-7.0/testsuite;a=darcs_commitdiff;h=20110213142828-3fd76-c1e61add628166eecf8e54822345fdf778456910.gz
___
Wed Feb 9 09:21:24 PST 2011 simo...@microsoft.com
* Test Trac #4949
A! ./tests/ghc-regress/th/T4949.hs
M! ./tests/ghc-regress/th/all.T -1 +1
View patch online:
http://darcs.haskell.org/cgi-bin/darcsweb.cgi?r=ghc-7.0/testsuite;a=darcs_commitdiff;h=20110209172124-1287e-1d4f847524ff28c87
Wed Feb 2 01:06:47 PST 2011 simo...@microsoft.com
* Test Trac #3169
A ./tests/ghc-regress/gadt/T3169.hs
A ./tests/ghc-regress/gadt/T3169.stderr
M ./tests/ghc-regress/gadt/all.T +1
View patch online:
http://darcs.haskell.org/cgi-bin/darcsweb.cgi?r=ghc-7.0/testsuite;a=darcs_commitdi
Wed Feb 16 11:50:31 PST 2011 Ian Lynagh
* Fix testsuite on 7.0 branch
M ./tests/ghc-regress/gadt/all.T -4 +4
A ./tests/ghc-regress/simplCore/should_compile/T4908.stderr-ghc-7.0
M ./tests/ghc-regress/simplCore/should_compile/all.T -1 +1
View patch online:
http://darcs.haskell.org/c
Wed Feb 9 05:31:14 PST 2011 simo...@microsoft.com
* Test Trac #4935
M ./tests/ghc-regress/simplCore/should_compile/Makefile +6
A ./tests/ghc-regress/simplCore/should_compile/T4945.hs
M ./tests/ghc-regress/simplCore/should_compile/all.T +5
View patch online:
http://darcs.haskell.or
Sat Dec 18 07:42:43 PST 2010 Ian Lynagh
* Add GADTSyntax tests
M ./tests/ghc-regress/gadt/all.T +5
A ./tests/ghc-regress/gadt/gadtSyntax001.hs
A ./tests/ghc-regress/gadt/gadtSyntaxFail001.hs
A ./tests/ghc-regress/gadt/gadtSyntaxFail001.stderr
A ./tests/ghc-regress/gadt/gadt
Tue Feb 1 04:20:02 PST 2011 simo...@microsoft.com
* Test Trac #4908
A ./tests/ghc-regress/simplCore/should_compile/T4908.hs
A ./tests/ghc-regress/simplCore/should_compile/T4908.stderr
M ./tests/ghc-regress/simplCore/should_compile/all.T +3
View patch online:
http://darcs.haskell.o
Fri Feb 11 01:16:56 PST 2011 simo...@microsoft.com
* Test Trac #4935
A ./tests/ghc-regress/indexed-types/should_compile/T4935.hs
M ./tests/ghc-regress/indexed-types/should_compile/all.T +1
View patch online:
http://darcs.haskell.org/cgi-bin/darcsweb.cgi?r=ghc-7.0/testsuite;a=darcs_comm
Mon Feb 14 06:03:34 PST 2011 simo...@microsoft.com
* Fix Trac #4953: local let binders can have IdInfo with free names
Local let binders in IfaceExpr never used to have unfoldings,
but lately they can (becuase they can have an INLINE pragma).
We must take account of the variables mentio
Thu Dec 9 20:59:22 PST 2010 Ben Lippmeier
* Defensify naked read in LLVM mangler
M ./compiler/llvmGen/LlvmMangler.hs -10 +27
View patch online:
http://darcs.haskell.org/cgi-bin/darcsweb.cgi?r=ghc-7.0/ghc;a=darcs_commitdiff;h=20101210045922-08f32-a7b7d875ee464df7aee9b6ea7355ef1567f85f60.g
Tue Feb 15 08:01:14 PST 2011 Ian Lynagh
* Release note updates
M ./docs/users_guide/7.0.2-notes.xml -2 +33
View patch online:
http://darcs.haskell.org/cgi-bin/darcsweb.cgi?r=ghc-7.0/ghc;a=darcs_commitdiff;h=20110215160114-3fd76-a60ce0e7262fd1a1efde8a58b883417f56469fcf.gz
Fri Feb 11 09:38:35 PST 2011 simo...@microsoft.com
* Fix small but egregious error: using un-zonked constraints in simplifyRule
This resulted in double unifications. Fix is trivial.
M ./compiler/typecheck/TcSimplify.lhs -1 +1
View patch online:
http://darcs.haskell.org/cgi-bin/darcsw
Thu Dec 9 20:26:00 PST 2010 Ben Lippmeier
* Formatting only
M ./compiler/llvmGen/LlvmMangler.hs -19 +19
View patch online:
http://darcs.haskell.org/cgi-bin/darcsweb.cgi?r=ghc-7.0/ghc;a=darcs_commitdiff;h=20101210042600-08f32-9c3a9a1658961bc5f1a8f01eea32a0d95b901afb.gz
__
Sat Feb 12 17:44:06 PST 2011 David Terei
* LLVM: Huge improvement to mangler speed.
The old llvm mangler was horrible! Very slow
due to bad design and code. New version is
linear complexity as it should be and far
lower coefficients. This fixes trac 4838.
M ./compiler/llvmGen/Ll
Fri Feb 4 01:31:48 PST 2011 Simon Marlow
* add missing initialisation of ws->todo_large_objects
Found-by: Valgrind. Thanks Julian!
M ./rts/sm/GC.c -1 +2
View patch online:
http://darcs.haskell.org/cgi-bin/darcsweb.cgi?r=ghc-7.0/ghc;a=darcs_commitdiff;h=20110204093148-12142-bd89f9a393d
I managed to find some code with the old codegen that generated stg_gc_d1 calls,
and I think I've cracked it.
The old code generator generated altHeapChecks inside direct return blocks.
These
blocks have the stack/registers set up in a very peculiar way, in particular the
results are in the regis
tn23 (x86 OSX HEAD), build 258
Build succeeded
Details: http://darcs.haskell.org/ghcBuilder/builders/tn23/258.html
darcs checkout| Success
create mk/build.mk| Success
get subrepos | Success
repo versions | Success
setting version date | Success
bo
36 matches
Mail list logo
