Re: [GHC] #3972: ghc 6.12.1 and 6.13.20090922 consume a lot more memory than 6.10.4 when compiling language-python package
#3972: ghc 6.12.1 and 6.13.20090922 consume a lot more memory than 6.10.4 when compiling language-python package ---+ Reporter: bjpop |Owner: simonpj Type: bug | Status: new Priority: high|Milestone: 6.12.3 Component: Compiler| Version: 6.12.1 Keywords: memory usage| Difficulty: Os: Linux | Testcase: http://projects.haskell.org/language-python/language-python-0.2.tar.gz Architecture: x86_64 (amd64) | Failure: Compile-time performance bug ---+ Changes (by juhpetersen): * cc: peter...@… (added) -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/3972#comment:7 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
[GHC] #4110: hsc2hs gives bad error message when it cannot execute the generated program
#4110: hsc2hs gives bad error message when it cannot execute the generated
program
-+--
Reporter: duncan| Owner:
Type: bug | Status: new
Priority: normal| Component: hsc2hs
Version: 6.12.2|Keywords:
Os: Unknown/Multiple |Testcase:
Architecture: Unknown/Multiple | Failure: None/Unknown
-+--
hsc2hs compiles a C program and then executes it. One of the failure modes
is that the executable program can fail to run because the filesystem is
mounted noexec.
The error message when it fails to execute the generated program is not
ideal:
{{{
cabal install unix-compat
Resolving dependencies...
Configuring unix-compat-0.1.2.1...
Preprocessing library unix-compat-0.1.2.1...
running dist/build/System/PosixCompat/Extensions_hsc_make failed
command was: dist/build/System/PosixCompat/Extensions_hsc_make
dist/build/System/PosixCompat/Extensions.hs
cabal: Error: some packages failed to install:
unix-compat-0.1.2.1 failed during the building phase. The exception was:
ExitFailure 1
}}}
It requires a fair bit of guesswork to discover that the problem is that
`/tmp` is mounted noexec.
This is a case where we want the System.Process to give us a permission
exception rather than having the process terminate with an exit code that
we do not know how to interpret. The tricky bit is that while the
underlying C `execve` does give us a C error code, we've already forked by
that time so it is tricky to return the error to the parent.
--
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/4110
GHC http://www.haskell.org/ghc/
The Glasgow Haskell Compiler
___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #4099: Slighlty confusing error message with data families
#4099: Slighlty confusing error message with data families
--+-
Reporter: rl | Owner:
Type: bug | Status: closed
Priority: normal | Milestone:
Component: Compiler |Version: 6.13
Resolution: fixed| Keywords:
Difficulty: | Os:
Unknown/Multiple
Testcase: indexed-types/should_fail/T4099 | Architecture:
Unknown/Multiple
Failure: None/Unknown |
--+-
Changes (by simonpj):
* status: new = closed
* testcase: = indexed-types/should_fail/T4099
* resolution: = fixed
Comment:
Yes good point. Fixed by
{{{
Mon May 31 15:04:13 BST 2010 simo...@microsoft.com
* Fix Trac #4099: better error message for type functions
Now we only want about T is a type function and might not be
injective when matchin (T x) against (T y), which is the case
that is really confusing.
M ./compiler/typecheck/TcTyFuns.lhs -14 +9
}}}
--
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/4099#comment:1
GHC http://www.haskell.org/ghc/
The Glasgow Haskell Compiler
___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #4047: Incorrect unused-import warning in ghci
#4047: Incorrect unused-import warning in ghci +--- Reporter: Berengal | Owner: Type: bug| Status: closed Priority: normal | Milestone: Component: GHCi |Version: 6.12.1 Resolution: worksforme | Keywords: Difficulty: | Os: Unknown/Multiple Testcase: | Architecture: Unknown/Multiple Failure: Incorrect warning at compile-time | +--- Changes (by simonpj): * status: new = closed * resolution: = worksforme Comment: I believe you may be misled by two things: * `ghc --make` does not recompile things that have already been compiled, and that can lead to lack of warnings if you do `ghc --make` right after (say) your `ghci` run. Try adding `-fforce-recomp` * `undefined` is not a keyword: it is simply a named definition that is indeed imported from the Prelude. So there really is a difference between `[]` and `undefined` on the RHS of your definition. Everything seems to be working fine to me. If you still thing there's a bug, by all means re-open this. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/4047#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #1349: Generalise the ! and UNPACK mechanism for data types, to unpack function arguments
#1349: Generalise the ! and UNPACK mechanism for data types, to unpack function
arguments
-+--
Reporter: simonpj |Owner:
Type: task | Status: new
Priority: normal|Milestone: 6.12.3
Component: Compiler | Version: 6.6.1
Keywords:| Difficulty: Unknown
Os: Unknown/Multiple | Testcase:
Architecture: Unknown/Multiple | Failure: None/Unknown
-+--
Comment(by simonpj):
OK I get the idea. But there are a number of corners. For example:
* If I have a function of type `(!Int - Int)` can I pass it to a
function expecting an argument of type `(Int - Int)`. Perhaps yes, with
some automatic impedence matching?
* If there is automatic impedence matching might I lose sharing?
Example: suppose
{{{
f :: Int - !Int - Int
g :: (Int - Int - Int) - Int
}}}
If GHC sees `(g f)` in source code, should it transform to `(g (\xy.
case y of I# y# - g x y#))`? Tha might lose sharing if `(f x)` did a lot
of computation before returning a function.
* Does the type `!a - a` make sense? It does for data constructors.
* An implementation question is this: how should these bang types be
represented? Is there a new type constructor for !? Is `(!Int - Int)`
different to `(Int# - Int)` or not?
A good framework to think of this in is Max's paper
[http://www.cl.cam.ac.uk/~mb566/papers/tacc-hs09.pdf Types are calling
conventions].
I doubt I'm going to move fast on this, I'm afraid.
Simon
--
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/1349#comment:22
GHC http://www.haskell.org/ghc/
The Glasgow Haskell Compiler
___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #4076: Add Applicative instance for STM
#4076: Add Applicative instance for STM -+-- Reporter: basvandijk|Owner: simonmar Type: proposal | Status: new Priority: normal|Milestone: Component: libraries/base| Version: 6.12.2 Keywords:| Difficulty: Os: Unknown/Multiple | Testcase: Architecture: Unknown/Multiple | Failure: None/Unknown -+-- Changes (by simonmar): * owner: = simonmar -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/4076#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #4040: Eq instance for Data.Data.DataType
#4040: Eq instance for Data.Data.DataType --+- Reporter: Eelis- | Owner: igloo Type: feature request | Status: closed Priority: normal | Milestone: Component: libraries/base |Version: 6.12.2 Resolution: wontfix | Keywords: syb Difficulty: | Os: Unknown/Multiple Testcase: | Architecture: Unknown/Multiple Failure: None/Unknown | --+- Changes (by igloo): * status: patch = closed * resolution: = wontfix Comment: I'm going to close this, as it's not clear to me what the right thing to do is, so I think a [http://www.haskell.org/haskellwiki/Library_submissions library proposal] is the right way forward. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/4040#comment:6 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #3594: ppc stage1 panic for --enable-shared
#3594: ppc stage1 panic for --enable-shared -+-- Reporter: juhpetersen |Owner: igloo Type: bug | Status: patch Priority: high |Milestone: 6.14.1 Component: Compiler | Version: 6.13 Keywords:| Difficulty: Unknown Os: Unknown/Multiple | Testcase: Architecture: powerpc | Failure: Building GHC failed -+-- Changes (by igloo): * owner: = igloo -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/3594#comment:6 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #3911: HughesPJ.vcat should behave like 'foldr ($$) empty', not like 'foldr ($+$) empty'
#3911: HughesPJ.vcat should behave like 'foldr ($$) empty', not like 'foldr ($+$) empty' -+-- Reporter: benedikt |Owner: igloo Type: bug | Status: patch Priority: high |Milestone: 6.14.1 Component: libraries/pretty | Version: 6.12.1 Keywords:| Difficulty: Os: Unknown/Multiple | Testcase: Architecture: Unknown/Multiple | Failure: Incorrect result at runtime -+-- Changes (by igloo): * owner: = igloo -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/3911#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #3867: ghc: panic! (linkBCO: = 64k ptrs)
#3867: ghc: panic! (linkBCO: = 64k ptrs) ---+ Reporter: archgrove |Owner: Type: bug | Status: new Priority: normal |Milestone: 6.12.3 Component: Compiler| Version: 6.12.1 Keywords: | Difficulty: Os: Windows | Testcase: Architecture: x86_64 (amd64) | Failure: GHC rejects valid program ---+ Changes (by gyppo): * cc: gypsywasherwo...@… (added) * os: Unknown/Multiple = Windows * architecture: Unknown/Multiple = x86_64 (amd64) Comment: Similar situation here, this time working with a large (500kB) list of primes saved to a .hs file. Output: *Main let no_even_digits p = all odd (digify p) Loading package array-0.3.0.0 ... linking ... done. Loading package bytestring-0.9.1.5 ... linking ... done. Loading package Win32-2.2.0.1 ... linking ... done. Loading package filepath-1.1.0.3 ... linking ... done. Loading package old-locale-1.0.0.2 ... linking ... done. Loading package old-time-1.0.0.3 ... linking ... done. Loading package directory-1.0.1.0 ... linking ... done. Loading package process-1.0.1.2 ... linking ... done. Loading package time-1.1.4 ... linking ... done. Loading package random-1.0.0.2 ... linking ... done. Loading package haskell98 ... linking ... done. : panic! (the 'impossible' happened) (GHC version 6.12.1 for i386-unknown-mingw32): linkBCO: = 64k ptrs Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug where: rint c = read c :: Integer digify n = map (rint.(:[])) (show n) are defined in the .hs file alongside the list of primes. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/3867#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #3867: ghc: panic! (linkBCO: = 64k ptrs)
#3867: ghc: panic! (linkBCO: = 64k ptrs) -+-- Reporter: archgrove |Owner: Type: bug | Status: new Priority: normal|Milestone: 6.12.3 Component: Compiler | Version: 6.12.1 Keywords:| Difficulty: Os: Unknown/Multiple | Testcase: Architecture: Unknown/Multiple | Failure: GHC rejects valid program -+-- Changes (by gyppo): * os: Windows = Unknown/Multiple * architecture: x86_64 (amd64) = Unknown/Multiple -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/3867#comment:4 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #3594: ppc stage1 panic for --enable-shared
#3594: ppc stage1 panic for --enable-shared --+- Reporter: juhpetersen | Owner: igloo Type: bug | Status: closed Priority: high | Milestone: 6.14.1 Component: Compiler |Version: 6.13 Resolution: fixed| Keywords: Difficulty: Unknown | Os: Unknown/Multiple Testcase: | Architecture: powerpc Failure: Building GHC failed | --+- Changes (by igloo): * status: patch = closed * resolution: = fixed Comment: Thanks, patch applied. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/3594#comment:7 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #3867: ghc: panic! (linkBCO: = 64k ptrs)
#3867: ghc: panic! (linkBCO: = 64k ptrs)
-+--
Reporter: archgrove |Owner:
Type: bug | Status: new
Priority: normal|Milestone: 6.12.3
Component: Compiler | Version: 6.12.1
Keywords:| Difficulty:
Os: Unknown/Multiple | Testcase:
Architecture: Unknown/Multiple | Failure: GHC rejects valid program
-+--
Comment(by gyppo):
Clarification:
GHCi, version 6.12.1: http://www.haskell.org/ghc/ :? for help
Loading package ghc-prim ... linking ... done.
Loading package integer-gmp ... linking ... done.
Loading package base ... linking ... done.
Loading package ffi-1.0 ... linking ... done.
[1 of 1] Compiling Main (
C:\Users\Sam\Documents\Programming\Haskell
\primes.hs, interpreted )
Ok, modules loaded: Main.
Works fine. Then:
*Main 1+1
2
Also fine.
But if I attempt to use any of the functions in primes.hs (which worked
prior to the copy-pasted huge list of primes) I get something similar to
{{{
*Main is_prime 7
Loading package array-0.3.0.0 ... linking ... done.
Loading package bytestring-0.9.1.5 ... linking ... done.
Loading package Win32-2.2.0.1 ... linking ... done.
Loading package filepath-1.1.0.3 ... linking ... done.
Loading package old-locale-1.0.0.2 ... linking ... done.
Loading package old-time-1.0.0.3 ... linking ... done.
Loading package directory-1.0.1.0 ... linking ... done.
Loading package process-1.0.1.2 ... linking ... done.
Loading package time-1.1.4 ... linking ... done.
Loading package random-1.0.0.2 ... linking ... done.
Loading package haskell98 ... linking ... done.
: panic! (the 'impossible' happened)
(GHC version 6.12.1 for i386-unknown-mingw32):
linkBCO: = 64k ptrs
Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug
}}}
The list doesn't have to be referred, any reference to anything included
in the file throws this error.
--
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/3867#comment:5
GHC http://www.haskell.org/ghc/
The Glasgow Haskell Compiler
___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #3911: HughesPJ.vcat should behave like 'foldr ($$) empty', not like 'foldr ($+$) empty'
#3911: HughesPJ.vcat should behave like 'foldr ($$) empty', not like 'foldr ($+$) empty' --+- Reporter: benedikt | Owner: igloo Type: bug | Status: closed Priority: high | Milestone: 6.14.1 Component: libraries/pretty |Version: 6.12.1 Resolution: fixed| Keywords: Difficulty: | Os: Unknown/Multiple Testcase: T3911| Architecture: Unknown/Multiple Failure: Incorrect result at runtime | --+- Changes (by igloo): * status: patch = closed * testcase: = T3911 * resolution: = fixed Comment: Thanks, patch applied and test added. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/3911#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #2889: Compilation fails - Can't opne temporary
#2889: Compilation fails - Can't opne temporary
---+
Reporter: fobrock | Owner: igloo
Type: bug | Status: new
Priority: high | Milestone: 6.12.3
Component: Compiler |Version: 6.12.2
Resolution:| Keywords:
Difficulty: Unknown | Os: Windows
Testcase:| Architecture: x86
Failure: None/Unknown |
---+
Changes (by catenate):
* status: infoneeded = new
Comment:
Still seems to fail:
{{{
$ ls
ghc-6.12.2.20100520-i386-windows.exe guide hw.lhs makefile mkfile
$ make hw
/cygdrive/c/ghc/ghc-6.12.2.20100520/bin/ghc-6.12.2.20100520 hw.lhs -o hw
C:\ghc\GHC-61~1.201\lib\..\mingw\bin\windres: can't open temporary file
`\/cca03860.irc': Invalid argument
$ ls
ghc-6.12.2.20100520-i386-windows.exe guide hw.exe.manifest hw.hi
hw.lhs hw.o makefile mkfile
$ cat hw.exe.manifest
?xml version=1.0 encoding=UTF-8 standalone=yes?
assembly xmlns=urn:schemas-microsoft-com:asm.v1
manifestVersion=1.0
assemblyIdentity version=1.0.0.0
processorArchitecture=X86
name=hw
type=win32/
trustInfo xmlns=urn:schemas-microsoft-com:asm.v3
security
requestedPrivileges
requestedExecutionLevel level=asInvoker uiAccess=false/
/requestedPrivileges
/security
/trustInfo
/assembly
$ cat hw.lhs
module Main where
main = do
putStrLn (Hello, World!)
}}}
After cleaning up and running again with -v:
{{{
$ ls
ghc-6.12.2.20100520-i386-windows.exe guide hw.lhs makefile mkfile
$ /cygdrive/c/ghc/ghc-6.12.2.20100520/bin/ghc-6.12.2.20100520 hw.lhs -o hw
-v
Glasgow Haskell Compiler, Version 6.12.2.20100520, for Haskell 98, stage 2
booted by GHC version 6.10.4
Using binary package database:
C:\ghc\GHC-61~1.201\lib\package.conf.d\package.cache
hiding package base-3.0.3.2 to avoid conflict with later version
base-4.2.0.1
wired-in package ghc-prim mapped to ghc-
prim-0.2.0.0-2feb0cb38f65a4827135ada88c34f3ef
wired-in package integer-gmp mapped to integer-
gmp-0.2.0.1-72436e28c79d056c87cc0d2d2f9f3773
wired-in package base mapped to
base-4.2.0.1-0d1804f62045e52b2e806996d84f5318
wired-in package rts mapped to builtin_rts
wired-in package haskell98 mapped to
haskell98-1.0.1.1-c097d85de0ef1d8aab872d9cd57c03f6
wired-in package template-haskell mapped to template-
haskell-2.4.0.1-401621dedd4a5f07bfd8630247358bf5
wired-in package dph-seq mapped to dph-
seq-0.4.0-be069f0bb710922a6ddd4ed2b91e3a6c
wired-in package dph-par mapped to dph-
par-0.4.0-b31a0ce10b7c92126978fcc929077ad6
Hsc static flags: -static
Created temporary directory: D:\Profiles\cjc040\ghc4824_0
*** Literate pre-processor:
C:\ghc\GHC-61~1.201\lib\unlit.exe -h hw.lhs hw.lhs
D:\Profiles\cjc040\ghc4824_0\ghc4824_0.lpp
*** Checking old interface for main:Main:
*** Parser:
*** Renamer/typechecker:
*** Desugar:
Result size = 10
*** Simplifier Phase 0 [final]:
Result size = 8
*** Tidy Core:
Result size = 8
writeBinIface: 1 Names
writeBinIface: 13 dict entries
*** CorePrep:
Result size = 10
*** Stg2Stg:
*** CodeGen:
*** CodeOutput:
*** Assembler:
C:\ghc\GHC-61~1.201\lib\..\mingw\bin\gcc -I. -c
D:\Profiles\cjc040\ghc4824_0\ghc4824_0.s -o hw.o
-DDONT_WANT_WIN32_DLL_SUPPORT
*** Windres:
C:\ghc\GHC-61~1.201\lib\..\mingw\bin\windres
--preprocessor=C:\ghc\GHC-61~1.201\lib\..\mingw\bin\gcc -E -xc
-DRC_INVOKED --use-temp-file
--input=D:\Profiles\cjc040\ghc4824_0\ghc4824_0.rc
--output=D:\Profiles\cjc040\ghc4824_0\ghc4824_0.o --output-format=coff
C:\ghc\GHC-61~1.201\lib\..\mingw\bin\windres: can't open temporary file
`\/cca06056.irc': Invalid argument
*** Deleting temp files:
Deleting: D:\Profiles\cjc040\ghc4824_0\ghc4824_0.o
D:\Profiles\cjc040\ghc4824_0\ghc4824_0.rc
D:\Profiles\cjc040\ghc4824_0\ghc4824_0.s
D:\Profiles\cjc040\ghc4824_0\ghc4824_0.lpp
Warning: deleting non-existent D:\Profiles\cjc040\ghc4824_0\ghc4824_0.o
*** Deleting temp dirs:
Deleting: D:\Profiles\cjc040\ghc4824_0
}}}
--
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/2889#comment:15
GHC http://www.haskell.org/ghc/
The Glasgow Haskell Compiler
___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #4009: can newtype be extended to permit GADT-like declarations
#4009: can newtype be extended to permit GADT-like declarations
--+-
Reporter: nr | Owner: simonpj
Type: feature request | Status: closed
Priority: normal | Milestone: 6.14.1
Component: Compiler (Type checker) |Version: 6.12.1
Resolution: invalid | Keywords: newtype GADT
Difficulty: | Os: Linux
Testcase: | Architecture: x86
Failure: None/Unknown |
--+-
Changes (by simonpj):
* status: new = closed
* resolution: = invalid
Comment:
It's fundamental. Suppose we had
{{{
data T a where
MkT :: Int - T Int
f :: T a - a - Int
f (MkT n) m = m+1
blah = f (MkT 4) 6 -- Calling f at type Int, works
boo = f (error urk) True -- Calling f at type True, diverges
}}}
This is fine. Matching on the `MkT` ensures that `a~Int`. The call in
`blah` is fine, and returns 7. The call in `boo` also type-checks fine,
but the pattern match in `f` will diverge, so we won't get a seg fault
when we try to evaluate `True + 1`.
But if instead we had
{{{
newtype T a where
MkT :: Int - T Int
f :: T a - a - Int
f (MkT n) m = m+1
blah = f (MkT 4) 6 -- Calling f at type Int, works
boo = f (error urk) True -- Calling f at type True, diverges
}}}
Now we ''would'' get a seg-fault by evaluating `True + 1`. The point is
that matching against the `MkT` constructor does no evaluation.
A System-FC way of saying this is that matching against a data constructor
brings into scope an equality coercion variable; but matching against a
newtype constructor doesn't, and can't.
Simon
--
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/4009#comment:2
GHC http://www.haskell.org/ghc/
The Glasgow Haskell Compiler
___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #3654: Mach-O GHCi linker lacks support for a range of relocation entries
#3654: Mach-O GHCi linker lacks support for a range of relocation entries -+-- Reporter: chak| Owner: Type: bug | Status: new Priority: normal | Milestone: 6.12.3 Component: Runtime System |Version: 6.13 Resolution: | Keywords: Difficulty: Unknown | Os: MacOS X Testcase: | Architecture: Unknown/Multiple Failure: None/Unknown| -+-- Changes (by igloo): * status: patch = new Comment: Thanks, I've applied `PPC_RELOC_LOCAL_SECTDIFF.patch` - but I think this ticket is about more than just that, so I'm leaving it open. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/3654#comment:14 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
[GHC] #4111: Sample GHCi session for 6.12.1 user guide shows 6.8.1
#4111: Sample GHCi session for 6.12.1 user guide shows 6.8.1 -+-- Reporter: YitzGale | Owner: Type: bug | Status: new Priority: normal| Component: Documentation Version: 6.12.2|Keywords: Os: Unknown/Multiple |Testcase: Architecture: Unknown/Multiple | Failure: Documentation bug -+-- This page is only three clicks away from Get the Haskell Platform. It may be the first time a potential new user sees what a GHCi session looks like. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/4111 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
