Thu Jun 28 23:55:23 PDT 2007 Manuel M T Chakravarty <[EMAIL PROTECTED]>
* Type families: test type family with higher kinded parameters
M ./tests/ghc-regress/indexed-types/should_compile/Simple6.hs +4
___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
Thu Jun 28 23:40:19 PDT 2007 Manuel M T Chakravarty <[EMAIL PROTECTED]>
* Type families: tests excluding type families in left hand sides
M ./tests/ghc-regress/indexed-types/should_fail/Simple12.hs +1
A ./tests/ghc-regress/indexed-types/should_fail/Simple13.hs
A ./tests/ghc-regress/
Thu Jun 28 23:36:56 PDT 2007 Manuel M T Chakravarty <[EMAIL PROTECTED]>
* Checking that type indexes contain no synonym family applications
M ./compiler/typecheck/TcTyClsDecls.lhs -8 +45
___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.has
Thu Jun 28 22:20:42 PDT 2007 Manuel M T Chakravarty <[EMAIL PROTECTED]>
* Type families: test for tau typeness of rhs of type instances
A ./tests/ghc-regress/indexed-types/should_fail/Simple12.hs
A ./tests/ghc-regress/indexed-types/should_fail/Simple12.stderr
M ./tests/ghc-regress/i
Thu Jun 28 21:59:31 PDT 2007 Manuel M T Chakravarty <[EMAIL PROTECTED]>
* RHS of a type instance must be a tau type
M ./compiler/typecheck/TcTyClsDecls.lhs -3 +11
___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/mailman/listinf
Thu Jun 28 21:38:20 PDT 2007 Manuel M T Chakravarty <[EMAIL PROTECTED]>
* Type families: tests for overlap check of type families
M ./tests/ghc-regress/indexed-types/should_fail/Over.stderr +5
M ./tests/ghc-regress/indexed-types/should_fail/OverA.hs -1 +2
M ./tests/ghc-regress/index
Thu Jun 28 21:20:07 PDT 2007 Manuel M T Chakravarty <[EMAIL PROTECTED]>
* Overlap check for type families
- If two "type instance"s overlap, they right-hand sides must be syntactically
equal under the overlap substitution. (Ie, we admit limited overlap, but
require the system to still
On 6/28/07, Simon Marlow <[EMAIL PROTECTED]> wrote:
The right sequence would be
(a) setTarget to the desired filename
(b) depanal
(c) find the module name by searching in the ModGraph
(d) checkModule
and checkModule should optionally return the Core too.
Unfortunately, checkModule curr
Thu Jun 28 18:48:31 PDT 2007 Tim Chevalier <[EMAIL PROTECTED]>
* Further compileToCore improvements
Per suggestions from Simon M:
* Changed GHC.checkModule so that it doesn't call depanal.
* Changed GHC.checkModule to optionally return Core bindings
as a component of the CheckedMod
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 Thu Jun 28 19:30:00 BST 2007.
checki
Fri Jun 8 02:11:57 PDT 2007 Michael D. Adams <[EMAIL PROTECTED]>
* Fixed a documentation error
M ./compiler/codeGen/Bitmap.hs -2 +2
___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/mailman/listinfo/cvs-ghc
Thu Jun 28 03:45:16 PDT 2007 Simon Marlow <[EMAIL PROTECTED]>
* disable .type directives on Windows; they confuse mingw's assembler
M ./compiler/nativeGen/PprMach.hs +4
___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/mailman/l
Tue Jun 19 07:29:31 PDT 2007 Clemens Fruhwirth <[EMAIL PROTECTED]>
* Also make proper references when not using fPIC but linking against dynamic
libs
M ./compiler/nativeGen/PositionIndependentCode.hs -1 +1
___
Cvs-ghc mailing list
Cvs-ghc@haskel
Wed Jun 27 09:51:50 PDT 2007 Clemens Fruhwirth <[EMAIL PROTECTED]>
* Set .type @object for all global symbols in NCG
When linking against a dynamic library, the linker will emit a warning
if no type information is present within the library. We generate the
most trivial type for all ext
Wed Jun 27 09:06:40 PDT 2007 Clemens Fruhwirth <[EMAIL PROTECTED]>
* Generate RelocatableReadOnlyData as .data
The GNU linker expects read-only sections to be relocation
free. Presumably because the dynamic linker maps all read-only
sections as read-only mmaps and hence can't do relocat
Wed Jun 27 02:08:19 PDT 2007 Clemens Fruhwirth <[EMAIL PROTECTED]>
* Generalize linkDynLib for ELF platforms
To create a dynamic shared object (DSO) on ELF platforms, we invoke
"gcc -shared". This in turn invokes ld. We supply -Bsymbolic to the
linker, as "ld -Bsymbolic -shared -o " re
Wed Jun 27 02:01:00 PDT 2007 Clemens Fruhwirth <[EMAIL PROTECTED]>
* Renames functions and constructors to fit their new ability for dynamic
linking
function: staticLink -> linkBinary (will link non static binaries too)
function: doMkDLL -> linkDynLib (as we can link on ELF too where DLL is
Tue Jun 26 06:46:36 PDT 2007 Clemens Fruhwirth <[EMAIL PROTECTED]>
* PprMach.hs more accurate hack for x86-64, CmmLabelOff is not a relative
reference.
CmmLabelDiffOff are generated in .text and if printed as .quad, causes
the assembler to emit a PC64 relocation. binutils prior to 2.17 d
Thu Jun 28 01:30:59 PDT 2007 [EMAIL PROTECTED]
* Add test for Trac #1445
M ./tests/ghc-regress/typecheck/should_compile/all.T +1
A ./tests/ghc-regress/typecheck/should_compile/tc230.hs
___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.h
Tim Chevalier wrote:
On 6/27/07, Neil Mitchell <[EMAIL PROTECTED]> wrote:
It works fine. The problem is that loadCoreFile takes a filename, and
the module name of that filename. Is there any way I can modify this
code to not require the module name, but get it from the API?
Yeah, I figured t
Thu Jun 28 01:11:05 PDT 2007 [EMAIL PROTECTED]
* Fix typechecking bug with implicit parameters (Trac #1445)
tcSplitFunTy_maybe wasn't dealing with types like
(?x::Bool) => Int
Here, tcSplitFunTy_maybe should fail (as it would if there
was a for-all), because the type is a quanti
Thu Jun 28 01:02:03 PDT 2007 [EMAIL PROTECTED]
* White space only
M ./compiler/typecheck/TcSplice.lhs -2 +1
___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/mailman/listinfo/cvs-ghc
Thu Jun 28 00:36:41 PDT 2007 [EMAIL PROTECTED]
* Improve error message when there is instance overlap
M ./compiler/types/InstEnv.lhs -4 +5
___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/mailman/listinfo/cvs-ghc
Build results:
x86-64 Linux head:lost
x86 Windows head: fail (failed darcs)
x86 Windows head fast:fail (failed stage1) fail (failed stage1) pass
fail (failed recompileutilswithstage1) fail (failed recompileutilswithstage1)
fail (failed recompileutilswithstage1)
mne
24 matches
Mail list logo