From trac at galois.com Sun Jul 1 07:12:01 2007 From: trac at galois.com (GHC) Date: Thu Jul 19 09:48:54 2007 Subject: [GHC] #1473: isSpace is too slow Message-ID: <071.2b35b75946d91a9c8e4d9a23fb23e25e@localhost> #1473: isSpace is too slow -----------------------------+---------------------------------------------- Reporter: igloo | Owner: Type: bug | Status: new Priority: normal | Milestone: _|_ Component: libraries/base | Version: 6.6.1 Severity: normal | Keywords: Difficulty: Unknown | Os: Unknown Testcase: | Architecture: Unknown -----------------------------+---------------------------------------------- In the thread starting http://www.haskell.org/pipermail/glasgow-haskell- users/2007-May/012608.html Neil Mitchell compares the speed is isSpace to C's functions: {{{ C's isspace: 0.375 C's iswspace: 0.400 Char.isSpace: 0.672 }}} The thread contains some discussions of possible solutions. -- Ticket URL: GHC The Glasgow Haskell Compiler -------------- next part -------------- _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs From trac at galois.com Sun Jul 1 07:25:06 2007 From: trac at galois.com (GHC) Date: Thu Jul 19 09:48:54 2007 Subject: [GHC] #1474: With -fglasgow-exts add option to show simpler types. Message-ID: <071.5b9f81f7f7f8a5138df70852584e4a4f@localhost> #1474: With -fglasgow-exts add option to show simpler types. --------------------------------+------------------------------------------- Reporter: iampure@gmail.com | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: GHCi | Version: 6.6.1 Severity: minor | Keywords: Difficulty: Unknown | Os: Unknown Testcase: | Architecture: Unknown --------------------------------+------------------------------------------- Instead of showing forall a b c d e f (t1 :: * -> * -> *) (t2 :: * -> *). => , show => with this option enabled when doing :t. The kinds are of no interest to me most of the time. -- Ticket URL: GHC The Glasgow Haskell Compiler -------------- next part -------------- _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs From trac at galois.com Sun Jul 1 07:43:17 2007 From: trac at galois.com (GHC) Date: Thu Jul 19 09:48:54 2007 Subject: [GHC] #1475: Adding imports and exports with Template Haskell Message-ID: <071.d3333c0e5e48a33bb24973d58e55ba9f@localhost> #1475: Adding imports and exports with Template Haskell -------------------------------+-------------------------------------------- Reporter: igloo | Owner: Type: feature request | Status: new Priority: normal | Milestone: 6.8 Component: Template Haskell | Version: 6.6.1 Severity: normal | Keywords: Difficulty: Unknown | Os: Unknown Testcase: | Architecture: Unknown -------------------------------+-------------------------------------------- (wished for by Adrian Hey in http://www.haskell.org/pipermail/template- haskell/2007-June/000598.html) It would be useful to be able to add module exports with TH, although I'm not sure exactly how it would be done. Perhaps something like {{{ $( do n <- newName "foo" let d = funD n ... addExport (varE n) return [d] }}} but at the point we call `addExport` the typechecker doesn't know that there will be a declaration for the name. Less useful, as TH names include the package and module of the name's definition, is the ability to add module imports. However, this can still be used to get a kind of dynamic binding effect, either with `mkName`'s names or plain Haskell code, e.g.: {{{ $( addImport (if ... then '''Data.ByteString else '''Data.ByteString.Lazy) (mkName "BS") ) foo :: BS.ByteString foo = BS.append ... }}} (we'd actually probably want a datatype that mirrors Haskell import decls more closely). -- Ticket URL: GHC The Glasgow Haskell Compiler -------------- next part -------------- _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs From trac at galois.com Sun Jul 1 07:53:44 2007 From: trac at galois.com (GHC) Date: Thu Jul 19 09:48:54 2007 Subject: [GHC] #1476: Template Haskell: splicing types and patterns Message-ID: <071.c529bd58c4d784913383e1e0d12d85b7@localhost> #1476: Template Haskell: splicing types and patterns -------------------------------+-------------------------------------------- Reporter: igloo | Owner: Type: bug | Status: new Priority: normal | Milestone: 6.10 Component: Template Haskell | Version: 6.6.1 Severity: normal | Keywords: Difficulty: Unknown | Os: Unknown Testcase: | Architecture: Unknown -------------------------------+-------------------------------------------- In http://www.haskell.org/pipermail/template-haskell/2003- February/000021.html Simon Peyton Jones writes: {{{ We claim to allow you to write splices in (a) types and (b) patterns. I'm very dubious about (b). Consider] x = 4 y :: Patt y = [p| ... |] f $y = x Question: where is x bound? It looks as though x can be bound by the spliced-in pattern or by the top-level binding. You can't tell without knowing what $y expands to. We argue in our paper against non-top-level declaration splices because that would lead to ambiguity of exactly this sort. It turns out that it's very inconvenient to implement pattern splices in GHC, for exactly this reason. We can't figure out the binding structure till we expand the splice. We can't expand the splice till typechecking time. But the renamer currently fixes the binding structure before type checking. Changing this would be a big upheaval. Conclusion: pattern splices are hard to implement, and dubious from a programming point of view. I propose to drop them, for now at least. Type splices have some similar echoes. Consider y :: Type y = [t| a -> a |] f :: $y What is f polymorphic in? The trouble concerns Haskell's implicit quantification. I guess there are three possibilities: a) $y expands to "a -> a", and that is implicitly universally quantified to "forall a. a->a". b) The implicit quantification happens at the [t| ...|] brackets, so that $y expands to "forall a. a->a" c) $y expands to "a -> a" with no implicit quantification anywhere. I'm pretty sure that we should adopt (b). After all, we want a lexical-scoping rule for TH, so we have to say where 'a' is bound. That would still in principle allow y :: Type y = return (Tvar "a" `Arrow` Tvar "a") Since it's the renamer that does implicit quantification, it'd be quite awkward to make the implicit quantification at the splice site "see" the free variables 'a'. The link with the pattern stuff is this. If you see f :: $y -> b then what are the implicit for-alls? My answer: the implicit for-alls are just for "b", not for any free vars of $y. }}} Since then, the only solution for pattern splices I recall seeing is {{{ f ${x,z}y = x }}} which asserts that the splice introduces the set of identifiers `{x,z}`. -- Ticket URL: GHC The Glasgow Haskell Compiler -------------- next part -------------- _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs From trac at galois.com Sun Jul 1 09:09:30 2007 From: trac at galois.com (GHC) Date: Thu Jul 19 09:48:54 2007 Subject: [GHC] #1477: ghci shouldn't link entire package Message-ID: <071.e97192cb0ce3cd4913b9f6f90d15a4b1@localhost> #1477: ghci shouldn't link entire package ------------------------------+--------------------------------------------- Reporter: igloo | Owner: Type: feature request | Status: new Priority: normal | Milestone: 6.8 Component: GHCi | Version: 6.6.1 Severity: normal | Keywords: Difficulty: Unknown | Os: Unknown Testcase: | Architecture: Unknown ------------------------------+--------------------------------------------- In this thread: http://www.haskell.org/pipermail/glasgow-haskell-users /2007-January/011839.html Alistair Bayley requests that ghci only link against parts of a package that are actually needed (like ld does) as: {{{ With Takusen, all modules, including the DBMS-specific modules, are compiled into a single library. At present we have 3 DBMS's: Sqlite, Oracle, and PostgreSQL. For example, suppose you had just the Oracle DBMS client libraries installed, and you write a program which only uses the Oracle modules from Takusen. When you link, the gnu ld program attempts to resolve the symbols in only the modules that you've used. You don't need to have PostgreSQL or Sqlite installed, and the linker ignores these modules from the package archive. This is quite nice, because we can distribute the entire library as a single package, and it will work even if the user does not have all of the DBMS client libraries installed. In contrast, when ghci (or runhaskell) attempts to link it tries to resolve all of the symbols in the PostgreSQL and Sqlite modules, and fails because you don't have them installed. The result is that a user of Takusen can't easily use the library with ghci/runhaskell "out of the box", unless they have the full set of DBMS client libraries installed. There are a couple of workarounds, but they're both a bit fiddly, so it'd be nicer (from my POV) if the ghci linker behaved like gnu ld. }}} -- Ticket URL: GHC The Glasgow Haskell Compiler -------------- next part -------------- _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs From trac at galois.com Sun Jul 1 09:52:55 2007 From: trac at galois.com (GHC) Date: Thu Jul 19 09:48:54 2007 Subject: [GHC] #1478: Flag to get information about the compiler and RTS Message-ID: <071.cd48d34765a61b44ec89ca33e1744a50@localhost> #1478: Flag to get information about the compiler and RTS ------------------------------+--------------------------------------------- Reporter: igloo | Owner: Type: feature request | Status: new Priority: high | Milestone: 6.8 Component: Compiler | Version: 6.6.1 Severity: normal | Keywords: Difficulty: Unknown | Os: Unknown Testcase: | Architecture: Unknown ------------------------------+--------------------------------------------- There should be a flag `+RTS -foo` that prints info including: * The version of GHC used to compile the program * The sort of RTS linked against There should also be a flag that can be given to the compiler that prints info including: * Whether it has a NCG * Whether or not it is registerised * Whether it supports ghci/ghc -e * What RTSs it has * Whether it supports SMP Ideally this would all be easily machine-parseable. -- Ticket URL: GHC The Glasgow Haskell Compiler -------------- next part -------------- _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs From trac at galois.com Sun Jul 1 11:42:34 2007 From: trac at galois.com (GHC) Date: Thu Jul 19 09:48:54 2007 Subject: [GHC] #1479: Merge GHC's hsc2hs with http://darcs.haskell.org/hsc2hs Message-ID: <071.5c8b94ec09e10c311e2aa48a4d2b19e9@localhost> #1479: Merge GHC's hsc2hs with http://darcs.haskell.org/hsc2hs ----------------------+----------------------------------------------------- Reporter: igloo | Owner: Type: task | Status: new Priority: normal | Milestone: 6.8 Component: hsc2hs | Version: 6.6.1 Severity: normal | Keywords: Difficulty: Unknown | Os: Unknown Testcase: | Architecture: Unknown ----------------------+----------------------------------------------------- GHC's hsc2hs should be merged with http://darcs.haskell.org/hsc2hs, and that repo should then be used when building GHC. -- Ticket URL: GHC The Glasgow Haskell Compiler -------------- next part -------------- _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs From trac at galois.com Sun Jul 1 14:43:32 2007 From: trac at galois.com (GHC) Date: Thu Jul 19 09:48:54 2007 Subject: [GHC] #1480: Template Haskell should allow reification of modules Message-ID: <071.64f961d81ee5c836ca3adc7ab9c6b94f@localhost> #1480: Template Haskell should allow reification of modules -------------------------------+-------------------------------------------- Reporter: igloo | Owner: Type: feature request | Status: new Priority: normal | Milestone: 6.8 Component: Template Haskell | Version: 6.6.1 Severity: normal | Keywords: Difficulty: Unknown | Os: Unknown Testcase: | Architecture: Unknown -------------------------------+-------------------------------------------- It should be possible to reify a module from a splice. If the module is thisModule then it would only tell you about things above the current splice. This comes up quite often; for example: In http://www.haskell.org/pipermail/haskell-cafe/2007-June/027205.html Brent Yorgey wants to get a list of top-level functions names prop_* in order to build a runQuickCheckProps function. In http://www.haskell.org/pipermail/haskell-cafe/2007-June/026493.html Neil Mitchell wants to get all the data/newtype declarations in a module in order to declare Typeable and Data instances for them. -- Ticket URL: GHC The Glasgow Haskell Compiler -------------- next part -------------- _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs From trac at galois.com Sun Jul 1 14:52:31 2007 From: trac at galois.com (GHC) Date: Thu Jul 19 09:48:55 2007 Subject: [GHC] #1481: standalone deriving Message-ID: <071.7a1f0946f56a232a09cb3d9a2088452b@localhost> #1481: standalone deriving --------------------------------------+------------------------------------- Reporter: igloo | Owner: Type: feature request | Status: new Priority: high | Milestone: 6.8 Component: Compiler (Type checker) | Version: 6.6.1 Severity: normal | Keywords: Difficulty: Unknown | Os: Unknown Testcase: | Architecture: Unknown --------------------------------------+------------------------------------- Simon Peyton Jones, in http://www.haskell.org/pipermail/haskell-cafe/2007- June/026492.html, wrote: {{{ Incidentally, for those interested in 'deriving', there's an open question about what the syntax of standalone deriving should be http://haskell.org/haskellwiki/GHC/StandAloneDeriving I'd like to get this settled for 6.8. }}} -- Ticket URL: GHC The Glasgow Haskell Compiler -------------- next part -------------- _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs From trac at galois.com Sun Jul 1 17:33:15 2007 From: trac at galois.com (GHC) Date: Thu Jul 19 09:48:55 2007 Subject: [GHC] #1482: unsafeCoerce# doesn't always fully coerce Message-ID: <071.01d1e8f9c3a1aa16137ea84a8d7a4f60@localhost> #1482: unsafeCoerce# doesn't always fully coerce --------------------------------------+------------------------------------- Reporter: yeoh@cs.wisc.edu | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler (Type checker) | Version: 6.6.1 Severity: normal | Keywords: unsafeCoerce# Difficulty: Unknown | Os: Linux Testcase: | Architecture: x86 --------------------------------------+------------------------------------- {{{ {-# OPTIONS_GHC -fglasgow-exts #-} import GHC.Prim( unsafeCoerce# ) e1 = unsafeCoerce# (+) e2 = unsafeCoerce# shows }}} {{{e1}}} coerces fine, even with the {{{Num}}} constraint, but {{{e2}}} does not. The error for e2 is {{{ Ambiguous type variable `a' in the constraint: `Show a' arising from use of `shows' at T.lhs:7:20-24 Probable fix: add a type signature that fixes these type variable(s) }}} Weirder still, ghci coerces {{{shows}}} fine: {{{ *Main> :t unsafeCoerce# shows unsafeCoerce# shows :: forall b. b }}} -- Ticket URL: GHC The Glasgow Haskell Compiler -------------- next part -------------- _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs From trac at galois.com Sun Jul 1 17:55:16 2007 From: trac at galois.com (GHC) Date: Thu Jul 19 09:48:55 2007 Subject: [GHC] #1482: unsafeCoerce# doesn't always fully coerce In-Reply-To: <071.01d1e8f9c3a1aa16137ea84a8d7a4f60@localhost> References: <071.01d1e8f9c3a1aa16137ea84a8d7a4f60@localhost> Message-ID: <080.a194f75b843f2c36a7401b840ab8e082@localhost> #1482: unsafeCoerce# doesn't always fully coerce ----------------------------------------+----------------------------------- Reporter: yeoh@cs.wisc.edu | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler (Type checker) | Version: 6.6.1 Severity: normal | Resolution: Keywords: unsafeCoerce# | Difficulty: Unknown Os: Linux | Testcase: Architecture: x86 | ----------------------------------------+----------------------------------- Comment (by sorear): Not a bug, but merely an extremely obscure feature of Haskell's type system. Because unsafeCoerce# does not impose a specific type upon the use of (+) or shows, the polymorphic type variable becomes ambiguous. However, since both (+) and shows need to know the actual type of use (due to the implicit dictionary argument), this variable needs to be resolved somehow, or an error produced. Section 4.3.4 of the Haskell 98 Language and Libraries Report ( [http://haskell.org/onlinereport/decls.html#sect4.3.4] ) specifies that ambiguous type variables are resolved using a default list, but only if (a) no non-standard classes are used and (b) at least one numeric class is used. The idea behind this was to make numeric code easier, as even 'show 2' would otherwise result in a type error. Thus, in Haskell 98 (with a unsafeCoerce primitive), the first example is legal and the second is not (since defaulting does not apply unless numeric classes are involved.) However, even the Haskell98 defaulting rules proved somewhat too onerous for REPL-type situations, so GHC provides a -fextended-default-rules flag ( [http://haskell.org/ghc/dist/current/docs/users_guide/interactive- evaluation.html#extended-default-rules] ) flag to allow more cases, including your second one. Hopefully this clears things up. Stefan -- Ticket URL: GHC The Glasgow Haskell Compiler -------------- next part -------------- _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs From trac at galois.com Sun Jul 1 18:32:38 2007 From: trac at galois.com (GHC) Date: Thu Jul 19 09:48:55 2007 Subject: [GHC] #1482: unsafeCoerce# doesn't always fully coerce In-Reply-To: <071.01d1e8f9c3a1aa16137ea84a8d7a4f60@localhost> References: <071.01d1e8f9c3a1aa16137ea84a8d7a4f60@localhost> Message-ID: <080.af644fe6be788fd9579e1b59b04dab08@localhost> #1482: unsafeCoerce# doesn't always fully coerce ----------------------------------------+----------------------------------- Reporter: yeoh@cs.wisc.edu | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler (Type checker) | Version: 6.6.1 Severity: normal | Resolution: Keywords: unsafeCoerce# | Difficulty: Unknown Os: Linux | Testcase: Architecture: x86 | ----------------------------------------+----------------------------------- Comment (by yeoh@cs.wisc.edu): I was going to add the comment below, but you've beat me to it. Adding {{{-fextended-default-rules}}} definitely makes it all work, in ways I still don't fully understand. There is no ambiguity in the {{{forall a b. a -> b}}} explicit type signature, but the error message suggests that the typechecker refuses to surrender the {{{Show a}}} constraint. Am I mistaken in this interpretation? If this is expected behavior, perhaps an error message suggesting {{{-fextended-default-rules}}} may assist the next unwary bystander. ---- Here's what I mean by not fully coercing. This typechecks: {{{ {-# OPTIONS_GHC -fglasgow-exts -fno-monomorphism-restriction #-} import GHC.Prim( unsafeCoerce# ) e2 = unsafeCoerce# (shows::a -> String -> String) :: forall a b. Show a => a -> b }}} However, the {{{Show a}}} constraint must be carried around all the time which of course, severely hampers the extent of the coercion. Omitting the constraint gives me {{{ No instance for (Show a) arising from use of `shows' at T.lhs:6:20-24 Possible fix: add (Show a) to the expected type of an expression In the first argument of `unsafeCoerce#', namely `(shows :: a -> String -> String)' In the expression: unsafeCoerce# (shows :: a -> String -> String) :: forall a b. a -> b In the definition of `e2': e2 = unsafeCoerce# (shows :: a -> String -> String) :: forall a b. a -> b }}} -- Ticket URL: GHC The Glasgow Haskell Compiler -------------- next part -------------- _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs From trac at galois.com Sun Jul 1 21:44:16 2007 From: trac at galois.com (GHC) Date: Thu Jul 19 09:48:55 2007 Subject: [GHC] #1478: Flag to get information about the compiler and RTS In-Reply-To: <071.cd48d34765a61b44ec89ca33e1744a50@localhost> References: <071.cd48d34765a61b44ec89ca33e1744a50@localhost> Message-ID: <080.e1c30c7bfe6071220172ddb6e050f0c1@localhost> #1478: Flag to get information about the compiler and RTS --------------------------------+------------------------------------------- Reporter: igloo | Owner: Type: feature request | Status: new Priority: high | Milestone: 6.8 Component: Compiler | Version: 6.6.1 Severity: normal | Resolution: Keywords: | Difficulty: Unknown Os: Unknown | Testcase: Architecture: Unknown | --------------------------------+------------------------------------------- Changes (by dons): * cc: => dons Comment: * Whether it supports SMP and how many cpus are available. Very useful for working out what values of +RTS -Nn, and then what value of 'n' to use to fork the ideal number of threads. -- Ticket URL: GHC The Glasgow Haskell Compiler -------------- next part -------------- _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs From trac at galois.com Sun Jul 1 21:45:03 2007 From: trac at galois.com (GHC) Date: Thu Jul 19 09:48:55 2007 Subject: [GHC] #1478: Flag to get information about the compiler and RTS In-Reply-To: <071.cd48d34765a61b44ec89ca33e1744a50@localhost> References: <071.cd48d34765a61b44ec89ca33e1744a50@localhost> Message-ID: <080.cd5bf234783d4070b33eb46f5da9bd72@localhost> #1478: Flag to get information about the compiler and RTS --------------------------------+------------------------------------------- Reporter: igloo | Owner: Type: feature request | Status: new Priority: high | Milestone: 6.8 Component: Compiler | Version: 6.6.1 Severity: normal | Resolution: Keywords: | Difficulty: Unknown Os: Unknown | Testcase: Architecture: Unknown | --------------------------------+------------------------------------------- -- Ticket URL: GHC The Glasgow Haskell Compiler -------------- next part -------------- _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs From trac at galois.com Mon Jul 2 02:11:33 2007 From: trac at galois.com (GHC) Date: Thu Jul 19 09:48:55 2007 Subject: [GHC] #1483: GHCi not loading 80% of the time Message-ID: <071.38e194b52693a2e72fd400faf9f7ee37@localhost> #1483: GHCi not loading 80% of the time ----------------------+----------------------------------------------------- Reporter: guest | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: GHCi | Version: 6.6.1 Severity: normal | Keywords: Difficulty: Unknown | Os: Windows Testcase: | Architecture: x86 ----------------------+----------------------------------------------------- Running windows vista 32-bit, trying to run GHCi it randomly does not bring up the Prelude> prompt about 80% of the time. It just displays the Loading package base ... linking ... done. and then appears to lock. -- Ticket URL: GHC The Glasgow Haskell Compiler -------------- next part -------------- _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs From trac at galois.com Mon Jul 2 02:16:09 2007 From: trac at galois.com (GHC) Date: Thu Jul 19 09:48:55 2007 Subject: [GHC] #1484: gcc installation problem? Message-ID: <071.8fc48c419578ea42f0b0eca6c58a9513@localhost> #1484: gcc installation problem? -----------------------+---------------------------------------------------- Reporter: guest | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 6.6.1 Severity: normal | Keywords: Difficulty: Unknown | Os: Windows Testcase: | Architecture: x86 -----------------------+---------------------------------------------------- Under windows vista 32-bit and a clean install I cannot compile 'hello world' The command line I am using is: ghc --make Main.hs -o main.exe the results: [1 of 1] Compiling Main ( Main.hs, Main.o ) gcc: installation problem, cannot exec `as': No such file or directory The contents of Main.hs: module Main where main = putStrLn "Hello World" -- Ticket URL: GHC The Glasgow Haskell Compiler -------------- next part -------------- _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs From trac at galois.com Mon Jul 2 04:09:27 2007 From: trac at galois.com (GHC) Date: Thu Jul 19 09:48:55 2007 Subject: [GHC] #1469: GHC suggests -fglasgow-exts, and not {-# LANGUAGE #-} pragmas or "Extensions:" cabal field In-Reply-To: <071.a7bd4fe7823cd85f2bb3bc47844d5de1@localhost> References: <071.a7bd4fe7823cd85f2bb3bc47844d5de1@localhost> Message-ID: <080.b790e95d20d8d4e0c0d9663033c0b196@localhost> #1469: GHC suggests -fglasgow-exts, and not {-# LANGUAGE #-} pragmas or "Extensions:" cabal field -------------------------+-------------------------------------------------- Reporter: SamB | Owner: Type: bug | Status: new Priority: normal | Milestone: 6.8 Component: Compiler | Version: 6.6 Severity: normal | Resolution: Keywords: | Difficulty: Unknown Os: Unknown | Testcase: Architecture: Unknown | -------------------------+-------------------------------------------------- Changes (by simonpj): * milestone: => 6.8 Old description: > Instead of: > > {{{ > Pdp1Emu.hs:14:8: > Can't make a derived instance of `Monad Pdp1' > (`Monad' is not a derivable class > Try -fglasgow-exts for GHC's newtype-deriving extension) > When deriving instances for `Pdp1' > }}} > > I'd like to see something like: > > {{{ > Pdp1Emu.hs:14:8: > Can't make a derived instance of `Monad Pdp1' > (`Monad' is not a derivable class > Try -fglasgow-exts or GeneralizedNewtypeDeriving for GHC's > newtype-deriving extension) > When deriving instances for `Pdp1' > }}} > > I'm not sure if this message makes it quite clear enough how to use > GeneralizedNewtypeDeriving, though... (seeing as it sheds no light on the > subject whatsoever ;-) New description: Instead of: {{{ Pdp1Emu.hs:14:8: Can't make a derived instance of `Monad Pdp1' (`Monad' is not a derivable class Try -fglasgow-exts for GHC's newtype-deriving extension) When deriving instances for `Pdp1' }}} I'd like to see something like: {{{ Pdp1Emu.hs:14:8: Can't make a derived instance of `Monad Pdp1' (`Monad' is not a derivable class Try -fglasgow-exts or GeneralizedNewtypeDeriving for GHC's newtype- deriving extension) When deriving instances for `Pdp1' }}} I'm not sure if this message makes it quite clear enough how to use `GeneralizedNewtypeDeriving`, though... (seeing as it sheds no light on the subject whatsoever ;-) Comment: There is no `X=NewtypeDeriving` language-extension flag at the moment. There should be, because we are slowly trying to get rid of the portmanteau `-fglasgow-exts` in favour of more specific language-extension flags. I take that as the main force of this bug report. With that more specific reference, a user should be able to find the right section of the manual. Simon -- Ticket URL: GHC The Glasgow Haskell Compiler -------------- next part -------------- _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs From trac at galois.com Mon Jul 2 05:14:42 2007 From: trac at galois.com (GHC) Date: Thu Jul 19 09:48:55 2007 Subject: [GHC] #1465: Type errors due to different package versions are a bit cryptic In-Reply-To: <071.e4fb77c2fcf1e24d850d41720de443e2@localhost> References: <071.e4fb77c2fcf1e24d850d41720de443e2@localhost> Message-ID: <080.ebc48a05efc058a9067d88f0e3c52ee6@localhost> #1465: Type errors due to different package versions are a bit cryptic ----------------------------------------+----------------------------------- Reporter: guest | Owner: Type: bug | Status: new Priority: normal | Milestone: 6.8 Component: Compiler (Type checker) | Version: 6.6.1 Severity: normal | Resolution: Keywords: | Difficulty: Easy (1 hr) Os: Unknown | Testcase: tcfail182 Architecture: Unknown | ----------------------------------------+----------------------------------- Comment (by simonmar): Trouble is, that's just the problem 'guest' reported. It's not enough to say that Display imported from M does not match Display imported from Y! We want to say where Display originally came from. What distinguishes these two types is the ''package'' they came from, not the defining module. In the original example, the defining modules were the same. GHC should never report the defining module of a name, because that breaks abstraction, and it isn't useful: the defining module might be unexposed, and undocumented. (I think we already report original names when the name in question is not in scope at all, perhaps this should be fixed too). I suggest that when the unqualified names of the types that failed to unify are the same, we report the package names, since this is the case that is likely to be confusing to the user. It's probably useful to report where the types were imported from too. -- Ticket URL: GHC The Glasgow Haskell Compiler -------------- next part -------------- _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs From trac at galois.com Mon Jul 2 05:19:01 2007 From: trac at galois.com (GHC) Date: Thu Jul 19 09:48:55 2007 Subject: [GHC] #1465: Type errors due to different package versions are a bit cryptic In-Reply-To: <071.e4fb77c2fcf1e24d850d41720de443e2@localhost> References: <071.e4fb77c2fcf1e24d850d41720de443e2@localhost> Message-ID: <080.ff0a526e0d6c5fcef2dc54cc0b73c036@localhost> #1465: Type errors due to different package versions are a bit cryptic ----------------------------------------+----------------------------------- Reporter: guest | Owner: Type: bug | Status: new Priority: normal | Milestone: 6.8 Component: Compiler (Type checker) | Version: 6.6.1 Severity: normal | Resolution: Keywords: | Difficulty: Easy (1 hr) Os: Unknown | Testcase: tcfail182 Architecture: Unknown | ----------------------------------------+----------------------------------- Comment (by simonpj): I've arranged (I believe already committed) that we report the package names UNLESS two type constructors with the same occurrence name come from the same package -- and only then report the module name. Simon -- Ticket URL: GHC The Glasgow Haskell Compiler -------------- next part -------------- _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs From trac at galois.com Mon Jul 2 05:24:49 2007 From: trac at galois.com (GHC) Date: Thu Jul 19 09:48:55 2007 Subject: [GHC] #1472: undefined reference to `ZCMain_main_CAF_cc' In-Reply-To: <071.003b8c2e8e0eaf0891ac87c09cebe9b3@localhost> References: <071.003b8c2e8e0eaf0891ac87c09cebe9b3@localhost> Message-ID: <080.dca8fd4cebeb3ffd4e99e6e66b1e5300@localhost> #1472: undefined reference to `ZCMain_main_CAF_cc' -------------------------------+-------------------------------------------- Reporter: greenrd | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: Profiling | Version: 6.7 Severity: normal | Resolution: duplicate Keywords: | Difficulty: Unknown Os: Linux | Testcase: Architecture: x86_64 (amd64) | -------------------------------+-------------------------------------------- Changes (by simonmar): * resolution: => duplicate * status: new => closed Comment: dup of #249 -- Ticket URL: GHC The Glasgow Haskell Compiler -------------- next part -------------- _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs From trac at galois.com Mon Jul 2 05:28:31 2007 From: trac at galois.com (GHC) Date: Thu Jul 19 09:48:55 2007 Subject: [GHC] #1471: -ddump-cmm doesn't escape non-ascii/non-printable characters In-Reply-To: <071.aed7ac1d2a3704520444bf0426432787@localhost> References: <071.aed7ac1d2a3704520444bf0426432787@localhost> Message-ID: <080.f4fb52c2001cce385a569fb1243a16ce@localhost> #1471: -ddump-cmm doesn't escape non-ascii/non-printable characters -------------------------+-------------------------------------------------- Reporter: SamB | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 6.6.1 Severity: normal | Resolution: fixed Keywords: | Difficulty: Unknown Os: Unknown | Testcase: Architecture: Unknown | -------------------------+-------------------------------------------------- Changes (by simonmar): * resolution: => fixed * status: new => closed Comment: Fixed: {{{ Mon Jul 2 10:22:57 BST 2007 Simon Marlow * FIX #1471: print strings using Haskell quoting syntax }}} -- Ticket URL: GHC The Glasgow Haskell Compiler -------------- next part -------------- _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs From trac at galois.com Mon Jul 2 05:30:39 2007 From: trac at galois.com (GHC) Date: Thu Jul 19 09:48:55 2007 Subject: [GHC] #1484: gcc installation problem? In-Reply-To: <071.8fc48c419578ea42f0b0eca6c58a9513@localhost> References: <071.8fc48c419578ea42f0b0eca6c58a9513@localhost> Message-ID: <080.475bae3fd962f5e466e601cd4be0571f@localhost> #1484: gcc installation problem? -------------------------+-------------------------------------------------- Reporter: guest | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 6.6.1 Severity: normal | Resolution: duplicate Keywords: | Difficulty: Unknown Os: Windows | Testcase: Architecture: x86 | -------------------------+-------------------------------------------------- Changes (by simonmar): * resolution: => duplicate * status: new => closed Comment: dup of #1110 -- Ticket URL: GHC The Glasgow Haskell Compiler -------------- next part -------------- _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs From trac at galois.com Mon Jul 2 05:43:50 2007 From: trac at galois.com (GHC) Date: Thu Jul 19 09:48:55 2007 Subject: [GHC] #1472: undefined reference to `ZCMain_main_CAF_cc' In-Reply-To: <071.003b8c2e8e0eaf0891ac87c09cebe9b3@localhost> References: <071.003b8c2e8e0eaf0891ac87c09cebe9b3@localhost> Message-ID: <080.c5b0264f7029d5f871ce732c7c2d6aa9@localhost> #1472: undefined reference to `ZCMain_main_CAF_cc' -------------------------------+-------------------------------------------- Reporter: greenrd | Owner: Type: bug | Status: reopened Priority: normal | Milestone: Component: Profiling | Version: 6.7 Severity: normal | Resolution: Keywords: | Difficulty: Unknown Os: Linux | Testcase: Architecture: x86_64 (amd64) | -------------------------------+-------------------------------------------- Changes (by greenrd): * resolution: duplicate => * status: closed => reopened Comment: But this version is three months newer than the version which fixed #249, so it can't be a duplicate. -- Ticket URL: GHC The Glasgow Haskell Compiler -------------- next part -------------- _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs From trac at galois.com Mon Jul 2 06:35:36 2007 From: trac at galois.com (GHC) Date: Thu Jul 19 09:48:55 2007 Subject: [GHC] #1348: inconsistent 'ghc --help" message In-Reply-To: <071.3157bda4b4ce653a84dfe74d7624ba98@localhost> References: <071.3157bda4b4ce653a84dfe74d7624ba98@localhost> Message-ID: <080.dacfd422576e77a5716c397971eabc38@localhost> #1348: inconsistent 'ghc --help" message -------------------------+-------------------------------------------------- Reporter: guest | Owner: igloo Type: bug | Status: new Priority: high | Milestone: 6.8 Component: Compiler | Version: 6.6.1 Severity: normal | Resolution: Keywords: | Difficulty: Unknown Os: Windows | Testcase: Architecture: x86 | -------------------------+-------------------------------------------------- Comment (by igloo): The logic for printing the ghc and ghci usage messages was inverted; I've fixed that. However, the ghci case will never actually happen with the current code, as we print a usage message when cli_mode == ShowUsage and choose the ghci usage message if cli_mode == DoInteractive. We should overhaul the option handling, probably using the standard library, so that the same code handles static and dynamic options, and also generates the documentation; the above issue should be fixed at the same time. -- Ticket URL: GHC The Glasgow Haskell Compiler -------------- next part -------------- _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs From trac at galois.com Mon Jul 2 06:51:18 2007 From: trac at galois.com (GHC) Date: Thu Jul 19 09:48:55 2007 Subject: [GHC] #1472: undefined reference to `ZCMain_main_CAF_cc' In-Reply-To: <071.003b8c2e8e0eaf0891ac87c09cebe9b3@localhost> References: <071.003b8c2e8e0eaf0891ac87c09cebe9b3@localhost> Message-ID: <080.241254eff9ce45fda1137ac740c578a6@localhost> #1472: undefined reference to `ZCMain_main_CAF_cc' -------------------------------+-------------------------------------------- Reporter: greenrd | Owner: simonmar Type: bug | Status: new Priority: normal | Milestone: 6.8 Component: Profiling | Version: 6.7 Severity: normal | Resolution: Keywords: | Difficulty: Unknown Os: Linux | Testcase: Architecture: x86_64 (amd64) | -------------------------------+-------------------------------------------- Changes (by simonmar): * milestone: => 6.8 * status: reopened => new * owner: => simonmar Comment: Sorry for being trigger-happy, I'll take a look. -- Ticket URL: GHC The Glasgow Haskell Compiler -------------- next part -------------- _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs From trac at galois.com Mon Jul 2 08:55:22 2007 From: trac at galois.com (GHC) Date: Thu Jul 19 09:48:55 2007 Subject: [GHC] #1478: Flag to get information about the compiler and RTS In-Reply-To: <071.cd48d34765a61b44ec89ca33e1744a50@localhost> References: <071.cd48d34765a61b44ec89ca33e1744a50@localhost> Message-ID: <080.d763357f06e12f49f960f0ebd97cfd18@localhost> #1478: Flag to get information about the compiler and RTS --------------------------------+------------------------------------------- Reporter: igloo | Owner: Type: feature request | Status: new Priority: high | Milestone: 6.8 Component: Compiler | Version: 6.6.1 Severity: normal | Resolution: Keywords: | Difficulty: Unknown Os: Unknown | Testcase: Architecture: Unknown | --------------------------------+------------------------------------------- Comment (by igloo): I think "number of CPUs available" would be better in System.Info or similar. -- Ticket URL: GHC The Glasgow Haskell Compiler -------------- next part -------------- _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs From trac at galois.com Mon Jul 2 10:15:41 2007 From: trac at galois.com (GHC) Date: Thu Jul 19 09:48:55 2007 Subject: [GHC] #1465: Type errors due to different package versions are a bit cryptic In-Reply-To: <071.e4fb77c2fcf1e24d850d41720de443e2@localhost> References: <071.e4fb77c2fcf1e24d850d41720de443e2@localhost> Message-ID: <080.bce0e12b1d1e67d3129b79bcad316518@localhost> #1465: Type errors due to different package versions are a bit cryptic ----------------------------------------+----------------------------------- Reporter: guest | Owner: Type: bug | Status: new Priority: normal | Milestone: 6.8 Component: Compiler (Type checker) | Version: 6.6.1 Severity: normal | Resolution: Keywords: | Difficulty: Easy (1 hr) Os: Unknown | Testcase: tcfail182 Architecture: Unknown | ----------------------------------------+----------------------------------- Comment (by Isaac Dupree): Reporting the originating package may prove more difficult/abstraction- breaking once packages can re-export types from other packages (the same way we have difficulty with modules that re-export the types from other modules) -- just a note for future reference, perhaps. -- Ticket URL: GHC The Glasgow Haskell Compiler -------------- next part -------------- _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs From trac at galois.com Mon Jul 2 10:26:21 2007 From: trac at galois.com (GHC) Date: Thu Jul 19 09:48:55 2007 Subject: [GHC] #1478: Flag to get information about the compiler and RTS In-Reply-To: <071.cd48d34765a61b44ec89ca33e1744a50@localhost> References: <071.cd48d34765a61b44ec89ca33e1744a50@localhost> Message-ID: <080.477e6b9051e830b9ff5e726827c8c095@localhost> #1478: Flag to get information about the compiler and RTS --------------------------------+------------------------------------------- Reporter: igloo | Owner: Type: feature request | Status: new Priority: high | Milestone: 6.8 Component: Compiler | Version: 6.6.1 Severity: normal | Resolution: Keywords: | Difficulty: Unknown Os: Unknown | Testcase: Architecture: Unknown | --------------------------------+------------------------------------------- Comment (by Isaac Dupree): Well, "number of CPUs available" should have IO in its type, because there are systems where the number of CPUs can change while they're running. I am already suspicious about the rest of the things in System.Info not having IO types (especially if we consider the potential of portable interpreters similar to Yhc, where a running Haskell program could be moved from one system to another - or even be running concurrently on multiple machines at once (actually, then adding even IO to the types wouldn't make them fully make sense)). -- Ticket URL: GHC The Glasgow Haskell Compiler -------------- next part -------------- _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs From trac at galois.com Mon Jul 2 16:18:07 2007 From: trac at galois.com (GHC) Date: Thu Jul 19 09:48:55 2007 Subject: [GHC] #1482: unsafeCoerce# doesn't always fully coerce In-Reply-To: <071.01d1e8f9c3a1aa16137ea84a8d7a4f60@localhost> References: <071.01d1e8f9c3a1aa16137ea84a8d7a4f60@localhost> Message-ID: <080.1680230d20841ac6a366261b140beebe@localhost> #1482: unsafeCoerce# doesn't always fully coerce ----------------------------------------+----------------------------------- Reporter: yeoh@cs.wisc.edu | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler (Type checker) | Version: 6.6.1 Severity: normal | Resolution: Keywords: unsafeCoerce# | Difficulty: Unknown Os: Linux | Testcase: Architecture: x86 | ----------------------------------------+----------------------------------- Comment (by Isaac Dupree): LOL, I accidentally left out the ":t" in GHCi, and got (same result on x86 6.6.1) {{{ > unsafeCoerce# shows : internal error: PAP object entered! (GHC version 6.6.1 for powerpc_unknown_linux) Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug Aborted (core dumped) }}} What kind of showing is GHC trying to do on an object of type (forall b. b) anyway? Passing -fno-extended-default-rules didn't work for me to disable that in ghci, so I went to a .hs file: No, (shows::a -> String -> String) doesn't typecheck. (forall a. a -> String -> String) isn't a type of `shows`, only (forall a. Show a => a -> String -> String) is. {{{ f :: forall a. a -> String -> String f = undefined e1 = ( unsafeCoerce# ) f }}} typechecks. Type variables that could be anything at all, don't need to be instantiated. {{{ e2 = (unsafeCoerce# :: (forall a. Show a => a -> String -> String) -> b) shows }}} typechecks. GHC can't infer a rank-2 type for unsafeCoerce, but you can give it one (`forall b. (forall a. Show a => a -> String -> String) -> b` is clearly a more-specific version of unsafeCoerce's type `forall a b. a -> b`). This allows the ''polymorphic'' shows to be passed to unsafeCoerce, so that `shows` object can then be coerced as normal. (Rank- two types with typeclasses aren't nice, you always have to specify a new type signature when the set of type-classes is different...) Neither -fno-monomorphism-restriction nor defaulting are needed. Note that there is a difference between {{{(unsafeCoerce# :: (Integer -> String -> String) -> b) shows}}} (or whatever the type variable would default to, if not Integer) and {{{(unsafeCoerce# :: (forall a. Show a => a -> String -> String) -> b) shows}}} . Their representations are not the same; the second one can only be coerced back to the fully polymorphic version, and the first one can only be coerced back to the Integer version (well, probably if you wanted to pass _|_ for that parameter then you could also coerce the second one to have that parameter's type be anything you wanted, including polymorphic, as long as it wasn't qualified with a type-class constraint). -- Ticket URL: GHC The Glasgow Haskell Compiler -------------- next part -------------- _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs From trac at galois.com Mon Jul 2 16:20:50 2007 From: trac at galois.com (GHC) Date: Thu Jul 19 09:48:55 2007 Subject: [GHC] #1485: -fno-monomorphism-restriction -fallow-undecidable-instances do not play nicely together Message-ID: <071.f0b4c91d6e904f403612a13cc9f2627b@localhost> #1485: -fno-monomorphism-restriction -fallow-undecidable-instances do not play nicely together --------------------------------+------------------------------------------- Reporter: iampure@gmail.com | Owner: Type: bug | Status: new Priority: high | Milestone: Component: Compiler | Version: 6.6.1 Severity: blocker | Keywords: Difficulty: Unknown | Os: Unknown Testcase: | Architecture: Unknown --------------------------------+------------------------------------------- I made a complete test case, because I care about this bug. -- Ticket URL: GHC The Glasgow Haskell Compiler -------------- next part -------------- _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs From trac at galois.com Mon Jul 2 16:40:38 2007 From: trac at galois.com (GHC) Date: Thu Jul 19 09:48:55 2007 Subject: [GHC] #1485: -fno-monomorphism-restriction -fallow-undecidable-instances do not play nicely together In-Reply-To: <071.f0b4c91d6e904f403612a13cc9f2627b@localhost> References: <071.f0b4c91d6e904f403612a13cc9f2627b@localhost> Message-ID: <080.51c18761a68ead4564cac9f131770143@localhost> #1485: -fno-monomorphism-restriction -fallow-undecidable-instances do not play nicely together ----------------------------------+----------------------------------------- Reporter: iampure@gmail.com | Owner: Type: bug | Status: closed Priority: high | Milestone: Component: Compiler | Version: 6.6.1 Severity: blocker | Resolution: fixed Keywords: | Difficulty: Unknown Os: Unknown | Testcase: Architecture: Unknown | ----------------------------------+----------------------------------------- Changes (by iampure@gmail.com): * resolution: => fixed * status: new => closed Comment: This was reported for 6.6.0. It is reportedly fixed in 6.6.1. -- Ticket URL: GHC The Glasgow Haskell Compiler -------------- next part -------------- _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs From trac at galois.com Mon Jul 2 16:41:59 2007 From: trac at galois.com (GHC) Date: Thu Jul 19 09:48:55 2007 Subject: [GHC] #1482: unsafeCoerce# doesn't always fully coerce In-Reply-To: <071.01d1e8f9c3a1aa16137ea84a8d7a4f60@localhost> References: <071.01d1e8f9c3a1aa16137ea84a8d7a4f60@localhost> Message-ID: <080.9e373026405574ba1456c1da0f669501@localhost> #1482: unsafeCoerce# doesn't always fully coerce ----------------------------------------+----------------------------------- Reporter: yeoh@cs.wisc.edu | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler (Type checker) | Version: 6.6.1 Severity: normal | Resolution: Keywords: unsafeCoerce# | Difficulty: Unknown Os: Linux | Testcase: Architecture: x86 | ----------------------------------------+----------------------------------- Comment (by Isaac Dupree): oops, near the end, "probably...you could also coerce the second one" should be "the first one", rather (that is, the non-rank-2 version) -- Ticket URL: GHC The Glasgow Haskell Compiler -------------- next part -------------- _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs From trac at galois.com Mon Jul 2 16:52:45 2007 From: trac at galois.com (GHC) Date: Thu Jul 19 09:48:55 2007 Subject: [GHC] #1468: :browse should browse currently loaded module In-Reply-To: <071.ce1161176fe79a180548dfb38917dec7@localhost> References: <071.ce1161176fe79a180548dfb38917dec7@localhost> Message-ID: <080.46d472a0d57613b8993d1b47dd221574@localhost> #1468: :browse should browse currently loaded module ----------------------------------+----------------------------------------- Reporter: iampure@gmail.com | Owner: Type: feature request | Status: new Priority: low | Milestone: Component: GHCi | Version: 6.6.1 Severity: trivial | Resolution: Keywords: | Difficulty: Easy (1 hr) Os: Unknown | Testcase: Architecture: Unknown | ----------------------------------+----------------------------------------- Changes (by guest): * cc: josef.svenningsson@gmail.com, ndmitchell@gmail.com => josef.svenningsson@gmail.com, ndmitchell@gmail.com, iampure@gmail.com -- Ticket URL: GHC The Glasgow Haskell Compiler -------------- next part -------------- _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs From trac at galois.com Mon Jul 2 16:54:08 2007 From: trac at galois.com (GHC) Date: Thu Jul 19 09:48:55 2007 Subject: [GHC] #1486: utcToLocalTime converting in the wrong direction on Windows Message-ID: <071.5883f81cc0fbbebd8fbde0f63430a68a@localhost> #1486: utcToLocalTime converting in the wrong direction on Windows --------------------------------+------------------------------------------- Reporter: Olivier Boudry | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: libraries (other) | Version: 6.6.1 Severity: normal | Keywords: Difficulty: Unknown | Os: Windows Testcase: | Architecture: x86 --------------------------------+------------------------------------------- I found a strange UTC to Local Time conversion bug on the Windows version of GHC 6.6.1. Code to reproduce it: import Monad import Data.Time import Locale main = do t <- (liftM2 utcToLocalTime) getCurrentTimeZone getCurrentTime let s = formatTime defaultTimeLocale "%r" t putStrLn s z <- (liftM timeZoneName) getCurrentTimeZone putStrLn z Running this program around 04:35 PM I get the following results On Linux (a recent Ubuntu with GHC 6.6.1 compiled from source) 04:35:48 PM EDT On Windows (GHC 6.6.1 from installer) I get 12:36:04 AM Eastern Daylight Time Looks like the Windows version is counting in the wrong direction. I made some tests in GHCi on both machines an get this: On Windows: Prelude> :m Monad Data.Time Locale Prelude Locale Data.Time Monad> z <- getCurrentTimeZone Eastern Daylight Time Prelude Locale Data.Time Monad> timeZoneMinutes z 240 On Linux: (same commands) Prelude Locale Data.Time Monad> timeZoneMinutes z -240 Cheers, Olivier. -- Ticket URL: GHC The Glasgow Haskell Compiler -------------- next part -------------- _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs From simonpj at microsoft.com Tue Jul 3 04:28:35 2007 From: simonpj at microsoft.com (Simon Peyton-Jones) Date: Thu Jul 19 09:48:55 2007 Subject: Vote for GHC 6.8 bugs! Message-ID: Friends, We are gearing up towards at GHC 6.8 release. You can see details of what will be in it in the GHC status report for April http://hackage.haskell.org/trac/ghc/wiki/Status/April07. One symptom of the sharply-increased use of GHC is the sharply-increased number of bug reports and feature requests. We have no fewer than 200 milestoned for 6.8! You can see a summary here: http://hackage.haskell.org/trac/ghc/roadmap In reality we're unlikely to fix all 200, at least not without a lot of help from our friends. Inevitably, we have to prioritise. One way we do that is by using our (unreliable) perception of which bugs you (GHC's users) care about. This message is to invite you to improve the accuracy of this perception, by voting for the bugs you care about. We have just instituted a cheap-and-cheerful mechanism for voting. Each bug has a 'cc' field. To vote, just add your email address to the cc field! Better still, add a note to say why you care, and/or add a test case. We'll use the number of cc's (and an informal impression of any notes you've added) to guide our priorities. Adding yourself to the cc list means you'll get mail whenever anyone modifies the Trac report, which keeps you informed of what's going on. (You have to log in to edit Trac reports. Currently, new accounts are disabled for boring spammy reasons. That will be fixed when we upgrade Trac, but meanwhile, log in as guest, password guest.) It's not a perfect system, but we think it'll give useful extra guidance. So please go ahead and vote. But better still, help us fix bugs! GHC is open-source software, and it has a very large "surface area" (many platforms, many libraries, many features, documentation, tools, etc etc). Lots of people help make GHC good -- please join in (see the "Joining in" list in the GHC Wiki sidebar http://hackage.haskell.org/trac/ghc/wiki/) thanks Simon _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs From trac at galois.com Tue Jul 3 04:51:29 2007 From: trac at galois.com (GHC) Date: Thu Jul 19 09:48:55 2007 Subject: [GHC] #702: MingW ld.exe produces program which segfaults In-Reply-To: <071.e16ce7e22dba273a38213d1699c445ed@localhost> References: <071.e16ce7e22dba273a38213d1699c445ed@localhost> Message-ID: <080.0c7de37e9b5dcbbb9bfa7d056a34a5f3@localhost> #702: MingW ld.exe produces program which segfaults -------------------------------------+-------------------------------------- Reporter: alistair@abayley.org | Owner: Type: bug | Status: new Priority: lowest | Milestone: 6.8 Component: Compiler | Version: 6.4.1 Severity: normal | Resolution: Keywords: | Difficulty: Unknown Os: Windows | Testcase: Architecture: x86 | -------------------------------------+-------------------------------------- Changes (by abayley): * priority: normal => lowest * cc: => alistair@abayley.org Comment: I suspect this was an issue with the Postgres libpq library, but was unable to confirm (problem posted to Postgres Interfaces list, but no responses). Lowest priority until I can confirm that it has gone away (or not). -- Ticket URL: GHC The Glasgow Haskell Compiler -------------- next part -------------- _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs From trac at galois.com Tue Jul 3 05:11:47 2007 From: trac at galois.com (GHC) Date: Thu Jul 19 09:48:55 2007 Subject: [GHC] #783: performance problem compiling large file In-Reply-To: <071.840e4d6751bb1e5d46c826c3d951474e@localhost> References: <071.840e4d6751bb1e5d46c826c3d951474e@localhost> Message-ID: <080.b8cfdb980a7db290ff2ecfc42d0526cc@localhost> #783: performance problem compiling large file -------------------------+-------------------------------------------------- Reporter: guest | Owner: Type: bug | Status: new Priority: high | Milestone: 6.8 Component: Compiler | Version: 6.4.2 Severity: normal | Resolution: Keywords: | Difficulty: Unknown Os: Multiple | Testcase: Architecture: Multiple | -------------------------+-------------------------------------------------- Changes (by guest): * cc: => kyrab@mail.ru -- Ticket URL: GHC The Glasgow Haskell Compiler -------------- next part -------------- _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs From trac at galois.com Tue Jul 3 05:15:48 2007 From: trac at galois.com (GHC) Date: Thu Jul 19 09:48:55 2007 Subject: [GHC] #1177: All I/O requests must complete before shutdown on Windows In-Reply-To: <071.56a3611be7ad56dff79bc9af79085805@localhost> References: <071.56a3611be7ad56dff79bc9af79085805@localhost> Message-ID: <080.ba048b7f791da1df90fab54a8d808155@localhost> #1177: All I/O requests must complete before shutdown on Windows -------------------------------+-------------------------------------------- Reporter: simonmar | Owner: simonmar Type: bug | Status: new Priority: high | Milestone: 6.8 Component: Runtime System | Version: 6.6 Severity: normal | Resolution: Keywords: | Difficulty: Unknown Os: Windows | Testcase: Architecture: Multiple | -------------------------------+-------------------------------------------- Changes (by guest): * cc: => kyrab@mail.ru -- Ticket URL: GHC The Glasgow Haskell Compiler -------------- next part -------------- _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs From trac at galois.com Tue Jul 3 05:23:22 2007 From: trac at galois.com (GHC) Date: Thu Jul 19 09:48:55 2007 Subject: [GHC] #1177: All I/O requests must complete before shutdown on Windows In-Reply-To: <071.56a3611be7ad56dff79bc9af79085805@localhost> References: <071.56a3611be7ad56dff79bc9af79085805@localhost> Message-ID: <080.2efee8a5496153f70c9111188135df50@localhost> #1177: All I/O requests must complete before shutdown on Windows -------------------------------+-------------------------------------------- Reporter: simonmar | Owner: simonmar Type: bug | Status: new Priority: high | Milestone: 6.8 Component: Runtime System | Version: 6.6 Severity: normal | Resolution: Keywords: | Difficulty: Unknown Os: Windows | Testcase: Architecture: Multiple | -------------------------------+-------------------------------------------- Changes (by guest): * cc: kyrab@mail.ru => Bulat.Ziganshin@gmail.com Comment: i've seen problems like this with 6.6.1: after exitWith or finishing 'main' program frees all memory used and sleeps forever (at least several hours). i've "solved" problem by using C exit(), but strongly prefer to have real solution -- Ticket URL: GHC The Glasgow Haskell Compiler -------------- next part -------------- _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs From trac at galois.com Tue Jul 3 05:24:09 2007 From: trac at galois.com (GHC) Date: Thu Jul 19 09:48:55 2007 Subject: [GHC] #1177: All I/O requests must complete before shutdown on Windows In-Reply-To: <071.56a3611be7ad56dff79bc9af79085805@localhost> References: <071.56a3611be7ad56dff79bc9af79085805@localhost> Message-ID: <080.11586ffe7ee95c291b4b0c7b06bfd7c7@localhost> #1177: All I/O requests must complete before shutdown on Windows -------------------------------+-------------------------------------------- Reporter: simonmar | Owner: simonmar Type: bug | Status: new Priority: high | Milestone: 6.8 Component: Runtime System | Version: 6.6 Severity: normal | Resolution: Keywords: | Difficulty: Unknown Os: Windows | Testcase: Architecture: Multiple | -------------------------------+-------------------------------------------- Changes (by guest): * cc: Bulat.Ziganshin@gmail.com => kyrab@mail.ru Bulat.Ziganshin@gmail.com -- Ticket URL: GHC The Glasgow Haskell Compiler -------------- next part -------------- _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs From trac at galois.com Tue Jul 3 05:27:22 2007 From: trac at galois.com (GHC) Date: Thu Jul 19 09:48:55 2007 Subject: =?utf-8?b?UmU6IFtHSENdICMxMzc1OiBCeXRlU3RyaW5n4oCZcyDigJxsaW5l?= =?utf-8?q?s=E2=80=9D_eats_empty_lines?= In-Reply-To: <071.939c4c66bee4fa75617adb8f79146d30@localhost> References: <071.939c4c66bee4fa75617adb8f79146d30@localhost> Message-ID: <080.8bf6ef6e39ddbd092ca4684171b290df@localhost> #1375: ByteString?s ?lines? eats empty lines -------------------------------+-------------------------------------------- Reporter: guest | Owner: Type: bug | Status: new Priority: high | Milestone: 6.8 Component: libraries/base | Version: 6.6.1 Severity: normal | Resolution: Keywords: | Difficulty: Unknown Os: Unknown | Testcase: Architecture: Unknown | -------------------------------+-------------------------------------------- Changes (by guest): * cc: dons@cse.unsw.edu.au => dons@cse.unsw.edu.au Bulat.Ziganshin@gmail.com -- Ticket URL: GHC The Glasgow Haskell Compiler -------------- next part -------------- _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs From trac at galois.com Tue Jul 3 05:27:40 2007 From: trac at galois.com (GHC) Date: Thu Jul 19 09:48:55 2007 Subject: [GHC] #345: GADT - fundep interaction In-Reply-To: <071.bfc72a05ca553409f36f771922e06c54@localhost> References: <071.bfc72a05ca553409f36f771922e06c54@localhost> Message-ID: <080.d029aba07a290cf856c7c65f363435f4@localhost> #345: GADT - fundep interaction ----------------------------------------+----------------------------------- Reporter: bring | Owner: simonpj Type: bug | Status: assigned Priority: normal | Milestone: 6.8 Component: Compiler (Type checker) | Version: 6.4 Severity: normal | Resolution: None Keywords: | Difficulty: Unknown Os: Unknown | Testcase: gadt-fd Architecture: Unknown | ----------------------------------------+----------------------------------- Changes (by guest): * cc: => kyrab@mail.ru -- Ticket URL: GHC The Glasgow Haskell Compiler -------------- next part -------------- _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs From trac at galois.com Tue Jul 3 05:29:24 2007 From: trac at galois.com (GHC) Date: Thu Jul 19 09:48:55 2007 Subject: [GHC] #1427: GHC fails to compile with gcc 4.2.0 In-Reply-To: <071.2ede1c5d35d6ea6c128d115bac843a59@localhost> References: <071.2ede1c5d35d6ea6c128d115bac843a59@localhost> Message-ID: <080.895616a48b3b298c7c3a2b008a21ed19@localhost> #1427: GHC fails to compile with gcc 4.2.0 -------------------------------------+-------------------------------------- Reporter: ismail@pardus.org.tr | Owner: Type: bug | Status: new Priority: high | Milestone: 6.8 Component: Compiler | Version: 6.6.1 Severity: major | Resolution: Keywords: | Difficulty: Unknown Os: Linux | Testcase: Architecture: x86 | -------------------------------------+-------------------------------------- Changes (by guest): * cc: arekm@maven.pl => arekm@maven.pl Bulat.Ziganshin@gmail.com Comment: for me (BulatZ), support of newer gcc versions is important as far as gcc provides better speed than via-asm compilation -- Ticket URL: GHC The Glasgow Haskell Compiler -------------- next part -------------- _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs From trac at galois.com Tue Jul 3 05:31:57 2007 From: trac at galois.com (GHC) Date: Thu Jul 19 09:48:55 2007 Subject: [GHC] #1427: GHC fails to compile with gcc 4.2.0 In-Reply-To: <071.2ede1c5d35d6ea6c128d115bac843a59@localhost> References: <071.2ede1c5d35d6ea6c128d115bac843a59@localhost> Message-ID: <080.8e7d5ad955b29d19f50a8244361ed92f@localhost> #1427: GHC fails to compile with gcc 4.2.0 -------------------------------------+-------------------------------------- Reporter: ismail@pardus.org.tr | Owner: Type: bug | Status: new Priority: high | Milestone: 6.8 Component: Compiler | Version: 6.6.1 Severity: major | Resolution: Keywords: | Difficulty: Unknown Os: Linux | Testcase: Architecture: x86 | -------------------------------------+-------------------------------------- Changes (by guest): * cc: arekm@maven.pl Bulat.Ziganshin@gmail.com => arekm@maven.pl Bulat.Ziganshin@gmail.com kyrab@mail.ru -- Ticket URL: GHC The Glasgow Haskell Compiler -------------- next part -------------- _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs From trac at galois.com Tue Jul 3 05:32:42 2007 From: trac at galois.com (GHC) Date: Thu Jul 19 09:48:55 2007 Subject: [GHC] #1478: Flag to get information about the compiler and RTS In-Reply-To: <071.cd48d34765a61b44ec89ca33e1744a50@localhost> References: <071.cd48d34765a61b44ec89ca33e1744a50@localhost> Message-ID: <080.9bc57f7a57363687ad1b97f7827304ae@localhost> #1478: Flag to get information about the compiler and RTS --------------------------------+------------------------------------------- Reporter: igloo | Owner: Type: feature request | Status: new Priority: high | Milestone: 6.8 Component: Compiler | Version: 6.6.1 Severity: normal | Resolution: Keywords: | Difficulty: Unknown Os: Unknown | Testcase: Architecture: Unknown | --------------------------------+------------------------------------------- Changes (by guest): * cc: dons => dons Bulat.Ziganshin@gmail.com Comment: standard comments why getArgs has IO in its type is "because it may change from run to run". also, it's easy to use usafePerformIO if we need them in non-IO environment -- Ticket URL: GHC The Glasgow Haskell Compiler -------------- next part -------------- _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs From trac at galois.com Tue Jul 3 05:33:29 2007 From: trac at galois.com (GHC) Date: Thu Jul 19 09:48:55 2007 Subject: [GHC] #1131: newArray_ allocates an array full of garbage In-Reply-To: <071.6b2cae20fb162cd1f285dd3e5c20892b@localhost> References: <071.6b2cae20fb162cd1f285dd3e5c20892b@localhost> Message-ID: <080.2e36d79e56211d0415528f358cc5bbc1@localhost> #1131: newArray_ allocates an array full of garbage -------------------------------+-------------------------------------------- Reporter: igloo | Owner: Type: bug | Status: new Priority: high | Milestone: 6.8 Component: libraries/base | Version: 6.6 Severity: normal | Resolution: Keywords: | Difficulty: Unknown Os: Unknown | Testcase: Architecture: Unknown | -------------------------------+-------------------------------------------- Changes (by iampure@gmail.com): * cc: => iampure@gmail.com Comment: I wrote a program that _depends_ on this functionality and my program behaviour as a whole is referentially transparent. I don't mind if you rename it to something "unsafe", but otherwise this functionality is a must-have. -- Ticket URL: GHC The Glasgow Haskell Compiler -------------- next part -------------- _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs From trac at galois.com Tue Jul 3 05:39:01 2007 From: trac at galois.com (GHC) Date: Thu Jul 19 09:48:55 2007 Subject: [GHC] #1481: standalone deriving In-Reply-To: <071.7a1f0946f56a232a09cb3d9a2088452b@localhost> References: <071.7a1f0946f56a232a09cb3d9a2088452b@localhost> Message-ID: <080.76f97aaba648f53b4a9097dd40b14b01@localhost> #1481: standalone deriving ----------------------------------------+----------------------------------- Reporter: igloo | Owner: Type: feature request | Status: new Priority: high | Milestone: 6.8 Component: Compiler (Type checker) | Version: 6.6.1 Severity: normal | Resolution: Keywords: | Difficulty: Unknown Os: Unknown | Testcase: Architecture: Unknown | ----------------------------------------+----------------------------------- Changes (by guest): * cc: => Bulat.Ziganshin@gmail.com Comment: i don't have any particular opinion about syntax (all variants are ok) but the feature itself is important -- Ticket URL: GHC The Glasgow Haskell Compiler -------------- next part -------------- _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs From trac at galois.com Tue Jul 3 05:48:07 2007 From: trac at galois.com (GHC) Date: Thu Jul 19 09:48:55 2007 Subject: [GHC] #1338: base package breakup In-Reply-To: <071.1aabfbbfab47b236951790206a2a9e25@localhost> References: <071.1aabfbbfab47b236951790206a2a9e25@localhost> Message-ID: <080.c7887e0ac3f53e473b1f955e54371210@localhost> #1338: base package breakup -------------------------+-------------------------------------------------- Reporter: simonmar | Owner: igloo Type: task | Status: new Priority: high | Milestone: 6.8 Component: Compiler | Version: 6.6.1 Severity: normal | Resolution: Keywords: | Difficulty: Unknown Os: Unknown | Testcase: Architecture: Unknown | -------------------------+-------------------------------------------------- Changes (by guest): * cc: => Bulat.Ziganshin@gmail.com Comment: this is very important task from my POV, especially splitting out ByteStrings which are still quickly improved it will be great also to split out i/o and data structures. if there some problems that doesn't alllow to do it (such as Exception which defined via Handle and Prelude that includes i/o functions), we can setup ticket to change this too (probably in 6.10, though) -- Ticket URL: GHC The Glasgow Haskell Compiler -------------- next part -------------- _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs From trac at galois.com Tue Jul 3 05:53:02 2007 From: trac at galois.com (GHC) Date: Thu Jul 19 09:48:56 2007 Subject: [GHC] #393: functions without implementations In-Reply-To: <071.6387029680088621b265d68d630d3a7d@localhost> References: <071.6387029680088621b265d68d630d3a7d@localhost> Message-ID: <080.21a12b5e24caaed38fc62c49a8f28e6f@localhost> #393: functions without implementations ----------------------------------------+----------------------------------- Reporter: c_maeder | Owner: simonpj Type: feature request | Status: new Priority: normal | Milestone: 6.8 Component: Compiler (Type checker) | Version: None Severity: normal | Resolution: None Keywords: | Difficulty: Easy (1 hr) Os: Multiple | Testcase: Architecture: Multiple | ----------------------------------------+----------------------------------- Comment (by guest): from my POV, it's even faster to write "f=undefined" rather than signature, but i don't use sugnatures anyway :) btw, if this feature will be implemented, it will be better to generate f = error "Call to undefined f declared at Foo.hs:63" -- Ticket URL: GHC The Glasgow Haskell Compiler -------------- next part -------------- _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs From trac at galois.com Tue Jul 3 05:57:21 2007 From: trac at galois.com (GHC) Date: Thu Jul 19 09:48:56 2007 Subject: [GHC] #1485: -fno-monomorphism-restriction -fallow-undecidable-instances do not play nicely together In-Reply-To: <071.f0b4c91d6e904f403612a13cc9f2627b@localhost> References: <071.f0b4c91d6e904f403612a13cc9f2627b@localhost> Message-ID: <080.7c09d4e6e96433cc3c97233f0e4e2635@localhost> #1485: -fno-monomorphism-restriction -fallow-undecidable-instances do not play nicely together ----------------------------------+----------------------------------------- Reporter: iampure@gmail.com | Owner: Type: bug | Status: reopened Priority: high | Milestone: Component: Compiler | Version: 6.6.1 Severity: blocker | Resolution: Keywords: | Difficulty: Unknown Os: Unknown | Testcase: Architecture: Unknown | ----------------------------------+----------------------------------------- Changes (by iampure@gmail.com): * resolution: fixed => * status: closed => reopened Comment: On my version of ghc-6.6.1 this does not work. -- Ticket URL: GHC The Glasgow Haskell Compiler -------------- next part -------------- _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs From trac at galois.com Tue Jul 3 05:59:58 2007 From: trac at galois.com (GHC) Date: Thu Jul 19 09:48:56 2007 Subject: [GHC] #451: GHC poor type-checker error message In-Reply-To: <071.89df5daa15dea7e3266a513927d88298@localhost> References: <071.89df5daa15dea7e3266a513927d88298@localhost> Message-ID: <080.b5fce2457142908b230b833b63d8de54@localhost> #451: GHC poor type-checker error message ----------------------------------------+----------------------------------- Reporter: isaacdupree | Owner: simonpj Type: bug | Status: new Priority: normal | Milestone: 6.8 Component: Compiler (Type checker) | Version: 6.4 Severity: normal | Resolution: None Keywords: | Difficulty: Unknown Os: Unknown | Testcase: Architecture: Unknown | ----------------------------------------+----------------------------------- Changes (by guest): * cc: => Bulat.Ziganshin@gmail.com Comment: i will be glad to see such type of problems fixed, although probably in 6.8.1. non-friendly error messages are still the problem with ghc, although most times it's enough to see line number so rather quickly find real problem -- Ticket URL: GHC The Glasgow Haskell Compiler -------------- next part -------------- _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs From trac at galois.com Tue Jul 3 06:02:46 2007 From: trac at galois.com (GHC) Date: Thu Jul 19 09:48:56 2007 Subject: [GHC] #605: Optimisation: strict enumerations In-Reply-To: <071.f2911ef12c44dce2c633a62b8699975d@localhost> References: <071.f2911ef12c44dce2c633a62b8699975d@localhost> Message-ID: <080.1b5f7ede43081db0e65f5da4f57e39c5@localhost> #605: Optimisation: strict enumerations -------------------------+-------------------------------------------------- Reporter: simonmar | Owner: Type: task | Status: new Priority: normal | Milestone: 6.8 Component: Compiler | Version: None Severity: normal | Resolution: None Keywords: | Difficulty: Difficult (1 week) Os: Unknown | Testcase: N/A Architecture: Unknown | -------------------------+-------------------------------------------------- Changes (by guest): * cc: => Bulat.Ziganshin@gmail.com -- Ticket URL: GHC The Glasgow Haskell Compiler -------------- next part -------------- _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs From trac at galois.com Tue Jul 3 06:06:02 2007 From: trac at galois.com (GHC) Date: Thu Jul 19 09:48:56 2007 Subject: [GHC] #946: Complete and integrate a tags and module-graph analyser using the GHC API In-Reply-To: <071.9e047a44e1bb12b1e79aa923e0fa9bd6@localhost> References: <071.9e047a44e1bb12b1e79aa923e0fa9bd6@localhost> Message-ID: <080.7947344b2790e81eb02a7583be246658@localhost> #946: Complete and integrate a tags and module-graph analyser using the GHC API -------------------------+-------------------------------------------------- Reporter: simonpj | Owner: simonmar Type: task | Status: new Priority: normal | Milestone: 6.8 Component: Compiler | Version: 6.6 Severity: normal | Resolution: Keywords: | Difficulty: Moderate (1 day) Os: Unknown | Testcase: N/A Architecture: Unknown | -------------------------+-------------------------------------------------- Changes (by guest): * cc: => Bulat.Ziganshin@gmail.com -- Ticket URL: GHC The Glasgow Haskell Compiler -------------- next part -------------- _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs From trac at galois.com Tue Jul 3 06:11:29 2007 From: trac at galois.com (GHC) Date: Thu Jul 19 09:48:56 2007 Subject: [GHC] #657: add WARNING pragma In-Reply-To: <071.4b0f3e9758af53bafb98599670f8d115@localhost> References: <071.4b0f3e9758af53bafb98599670f8d115@localhost> Message-ID: <080.fb05f87c9b351f1f1396592c4395b093@localhost> #657: add WARNING pragma -------------------------+-------------------------------------------------- Reporter: ijones | Owner: Type: task | Status: new Priority: normal | Milestone: 6.8 Component: Compiler | Version: 6.4.1 Severity: normal | Resolution: Keywords: | Difficulty: Easy (1 hr) Os: Unknown | Testcase: N/A Architecture: Unknown | -------------------------+-------------------------------------------------- Changes (by guest): * cc: => Bulat.Ziganshin@gmail.com -- Ticket URL: GHC The Glasgow Haskell Compiler -------------- next part -------------- _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs From trac at galois.com Tue Jul 3 06:13:13 2007 From: trac at galois.com (GHC) Date: Thu Jul 19 09:48:56 2007 Subject: [GHC] #635: Replace use of select() in the I/O manager with epoll/kqueue/etc. In-Reply-To: <071.a147fd91046ed08c4f8aa4472917ee8c@localhost> References: <071.a147fd91046ed08c4f8aa4472917ee8c@localhost> Message-ID: <080.c94123df92c368ae0437008c115a175a@localhost> #635: Replace use of select() in the I/O manager with epoll/kqueue/etc. -------------------------------+-------------------------------------------- Reporter: simonmar | Owner: Type: task | Status: new Priority: normal | Milestone: 6.8 Component: libraries/base | Version: 6.4.1 Severity: normal | Resolution: Keywords: | Difficulty: Difficult (1 week) Os: Unknown | Testcase: N/A Architecture: Unknown | -------------------------------+-------------------------------------------- Changes (by guest): * cc: => Bulat.Ziganshin@gmail.com Comment: i strongly prefer to see this in separate library which isn't part of RTS -- Ticket URL: GHC The Glasgow Haskell Compiler -------------- next part -------------- _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs From trac at galois.com Tue Jul 3 06:15:29 2007 From: trac at galois.com (GHC) Date: Thu Jul 19 09:48:56 2007 Subject: [GHC] #1131: newArray_ allocates an array full of garbage In-Reply-To: <071.6b2cae20fb162cd1f285dd3e5c20892b@localhost> References: <071.6b2cae20fb162cd1f285dd3e5c20892b@localhost> Message-ID: <080.dd951ee2ac75f158da15856ba2165f07@localhost> #1131: newArray_ allocates an array full of garbage -------------------------------+-------------------------------------------- Reporter: igloo | Owner: Type: bug | Status: new Priority: high | Milestone: 6.8 Component: libraries/base | Version: 6.6 Severity: normal | Resolution: Keywords: | Difficulty: Unknown Os: Unknown | Testcase: Architecture: Unknown | -------------------------------+-------------------------------------------- Comment (by neil): iampure: Please clarify. Are you saying that you rely on the fact that newArray_ returns random garbage, or that it reuses other memory? Either way, it sounds like you are making very delicate assumptions. -- Ticket URL: GHC The Glasgow Haskell Compiler -------------- next part -------------- _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs From trac at galois.com Tue Jul 3 06:15:15 2007 From: trac at galois.com (GHC) Date: Thu Jul 19 09:48:56 2007 Subject: [GHC] #701: Better CSE optimisation In-Reply-To: <071.750d960e8ac1574cc2b5be8121ee0582@localhost> References: <071.750d960e8ac1574cc2b5be8121ee0582@localhost> Message-ID: <080.25012ffc22dbb41a6ca2f24bcc04aab3@localhost> #701: Better CSE optimisation -------------------------+-------------------------------------------------- Reporter: simonmar | Owner: Type: task | Status: new Priority: normal | Milestone: 6.8 Component: Compiler | Version: 6.4.1 Severity: normal | Resolution: Keywords: | Difficulty: Difficult (1 week) Os: Unknown | Testcase: N/A Architecture: Unknown | -------------------------+-------------------------------------------------- Changes (by guest): * cc: => Bulat.Ziganshin@gmail.com Comment: we also can add pragma like {-# CSE f #-} -- Ticket URL: GHC The Glasgow Haskell Compiler -------------- next part -------------- _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs From trac at galois.com Tue Jul 3 06:16:37 2007 From: trac at galois.com (GHC) Date: Thu Jul 19 09:48:56 2007 Subject: [GHC] #722: Adrian Hey's StringMap library in the collections package. In-Reply-To: <071.afa1b80fe13c8fa1d4f541284fbf8932@localhost> References: <071.afa1b80fe13c8fa1d4f541284fbf8932@localhost> Message-ID: <080.f106298dc3dfbaa5c94cc680103a0ef1@localhost> #722: Adrian Hey's StringMap library in the collections package. -------------------------------+-------------------------------------------- Reporter: jpbernardy | Owner: Adrian Hey (if he accepts) Type: task | Status: new Priority: normal | Milestone: 6.8 Component: libraries/base | Version: 6.4.1 Severity: normal | Resolution: Keywords: collections | Difficulty: Unknown Os: Unknown | Testcase: N/A Architecture: Unknown | -------------------------------+-------------------------------------------- Changes (by guest): * cc: => Bulat.Ziganshin@gmail.com Comment: i think that it's a GHC-unrelated ticket? -- Ticket URL: GHC The Glasgow Haskell Compiler -------------- next part -------------- _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs From trac at galois.com Tue Jul 3 06:17:14 2007 From: trac at galois.com (GHC) Date: Thu Jul 19 09:48:56 2007 Subject: [GHC] #728: switch to compacting collection when swapping occurs In-Reply-To: <071.5f539614fc8835639f83a0eeba29c859@localhost> References: <071.5f539614fc8835639f83a0eeba29c859@localhost> Message-ID: <080.44ff292ec3645ebeaae4a894245fc68c@localhost> #728: switch to compacting collection when swapping occurs -------------------------------+-------------------------------------------- Reporter: simonmar | Owner: Type: task | Status: new Priority: normal | Milestone: 6.8 Component: Runtime System | Version: 6.4.1 Severity: normal | Resolution: Keywords: | Difficulty: Moderate (1 day) Os: Unknown | Testcase: N/A Architecture: Unknown | -------------------------------+-------------------------------------------- Changes (by guest): * cc: => Bulat.Ziganshin@gmail.com -- Ticket URL: GHC The Glasgow Haskell Compiler -------------- next part -------------- _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs From trac at galois.com Tue Jul 3 06:17:56 2007 From: trac at galois.com (GHC) Date: Thu Jul 19 09:48:56 2007 Subject: [GHC] #728: switch to compacting collection when swapping occurs In-Reply-To: <071.5f539614fc8835639f83a0eeba29c859@localhost> References: <071.5f539614fc8835639f83a0eeba29c859@localhost> Message-ID: <080.17a802111991544f03cb5010432bd84d@localhost> #728: switch to compacting collection when swapping occurs -------------------------------+-------------------------------------------- Reporter: simonmar | Owner: Type: task | Status: new Priority: normal | Milestone: 6.8 Component: Runtime System | Version: 6.4.1 Severity: normal | Resolution: Keywords: | Difficulty: Moderate (1 day) Os: Unknown | Testcase: N/A Architecture: Unknown | -------------------------------+-------------------------------------------- Comment (by guest): .. although i prefer to see it on Windows too :) -- Ticket URL: GHC The Glasgow Haskell Compiler -------------- next part -------------- _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs From trac at galois.com Tue Jul 3 06:23:39 2007 From: trac at galois.com (GHC) Date: Thu Jul 19 09:48:56 2007 Subject: [GHC] #806: hGetBufNonBlocking doesn't work on Windows In-Reply-To: <071.6fdd7104c4a929cf285dec2625f1db25@localhost> References: <071.6fdd7104c4a929cf285dec2625f1db25@localhost> Message-ID: <080.5578db4c6c41c5c5ad83b9205ce0ae5e@localhost> #806: hGetBufNonBlocking doesn't work on Windows -------------------------------+-------------------------------------------- Reporter: titto@kamus.it | Owner: simonmar Type: bug | Status: new Priority: normal | Milestone: 6.8 Component: libraries/base | Version: 6.4.2 Severity: normal | Resolution: Keywords: | Difficulty: Moderate (1 day) Os: Windows | Testcase: hGetBuf001 Architecture: x86 | -------------------------------+-------------------------------------------- Changes (by guest): * cc: => Bulat.Ziganshin@gmail.com -- Ticket URL: GHC The Glasgow Haskell Compiler -------------- next part -------------- _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs From trac at galois.com Tue Jul 3 06:23:50 2007 From: trac at galois.com (GHC) Date: Thu Jul 19 09:48:56 2007 Subject: [GHC] #768: Improve performance of binary serialisation for interface files In-Reply-To: <071.71a3de68207efd3e41ebae230a2f5fcb@localhost> References: <071.71a3de68207efd3e41ebae230a2f5fcb@localhost> Message-ID: <080.e4d11324b79b2473d08f46406bba76fa@localhost> #768: Improve performance of binary serialisation for interface files -------------------------+-------------------------------------------------- Reporter: simonmar | Owner: Type: task | Status: new Priority: normal | Milestone: 6.8 Component: Compiler | Version: 6.4.1 Severity: normal | Resolution: Keywords: | Difficulty: Moderate (1 day) Os: Unknown | Testcase: N/A Architecture: Unknown | -------------------------+-------------------------------------------------- Changes (by guest): * cc: => Bulat.Ziganshin@gmail.com -- Ticket URL: GHC The Glasgow Haskell Compiler -------------- next part -------------- _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs From trac at galois.com Tue Jul 3 06:24:31 2007 From: trac at galois.com (GHC) Date: Thu Jul 19 09:48:56 2007 Subject: [GHC] #835: Expose less type/class info in an interface file, to reduce recompilation In-Reply-To: <071.61c77bc5ca62ef5eaaa597d51baa2b0f@localhost> References: <071.61c77bc5ca62ef5eaaa597d51baa2b0f@localhost> Message-ID: <080.24e52804e9905aa8956c9fbfe501692e@localhost> #835: Expose less type/class info in an interface file, to reduce recompilation --------------------------------+------------------------------------------- Reporter: simonpj | Owner: Type: feature request | Status: new Priority: normal | Milestone: 6.8 Component: Compiler | Version: 6.4.2 Severity: normal | Resolution: Keywords: | Difficulty: Unknown Os: Unknown | Testcase: Architecture: Unknown | --------------------------------+------------------------------------------- Changes (by guest): * cc: => Bulat.Ziganshin@gmail.com -- Ticket URL: GHC The Glasgow Haskell Compiler -------------- next part -------------- _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs From trac at galois.com Tue Jul 3 06:25:42 2007 From: trac at galois.com (GHC) Date: Thu Jul 19 09:48:56 2007 Subject: [GHC] #888: Implement the static argument transformation In-Reply-To: <071.631bd4c1dde7dbf48e32f2b308217c07@localhost> References: <071.631bd4c1dde7dbf48e32f2b308217c07@localhost> Message-ID: <080.87d090d6ff558015ef04dd436cea8390@localhost> #888: Implement the static argument transformation -------------------------+-------------------------------------------------- Reporter: simonpj | Owner: Type: task | Status: new Priority: normal | Milestone: 6.8 Component: Compiler | Version: 6.4.2 Severity: normal | Resolution: Keywords: | Difficulty: Unknown Os: Unknown | Testcase: N/A Architecture: Unknown | -------------------------+-------------------------------------------------- Changes (by guest): * cc: => Bulat.Ziganshin@gmail.com -- Ticket URL: GHC The Glasgow Haskell Compiler -------------- next part -------------- _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs From trac at galois.com Tue Jul 3 06:28:30 2007 From: trac at galois.com (GHC) Date: Thu Jul 19 09:48:56 2007 Subject: [GHC] #876: Length is not a good consumer In-Reply-To: <071.a8d1f8d1edb3edced51c22ed68ab259d@localhost> References: <071.a8d1f8d1edb3edced51c22ed68ab259d@localhost> Message-ID: <080.5a68a688db4873f8a2ec72e6aafb4ba4@localhost> #876: Length is not a good consumer --------------------------------+------------------------------------------- Reporter: ariep@xs4all.nl | Owner: simonpj Type: bug | Status: new Priority: normal | Milestone: 6.8 Component: libraries/base | Version: 6.5 Severity: normal | Resolution: Keywords: | Difficulty: Unknown Os: Linux | Testcase: list003 Architecture: x86 | --------------------------------+------------------------------------------- Comment (by guest): probably this ticket should be joined to the #915? -- Ticket URL: GHC The Glasgow Haskell Compiler -------------- next part -------------- _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs From trac at galois.com Tue Jul 3 06:33:37 2007 From: trac at galois.com (GHC) Date: Thu Jul 19 09:48:56 2007 Subject: [GHC] #1049: A means of testing whether code is in blocked or unblocked mode In-Reply-To: <071.9bfadd6b52d379d59af67780ef09958e@localhost> References: <071.9bfadd6b52d379d59af67780ef09958e@localhost> Message-ID: <080.0b187c32d72b1e8f15f99f15d81d4385@localhost> #1049: A means of testing whether code is in blocked or unblocked mode --------------------------------+------------------------------------------- Reporter: ChrisKuklewicz | Owner: Type: feature request | Status: new Priority: low | Milestone: 6.8 Component: libraries/base | Version: 6.6 Severity: normal | Resolution: Keywords: concurrency | Difficulty: Moderate (1 day) Os: Multiple | Testcase: Architecture: Multiple | --------------------------------+------------------------------------------- Changes (by guest): * cc: => Bulat.Ziganshin@gmail.com -- Ticket URL: GHC The Glasgow Haskell Compiler -------------- next part -------------- _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs From trac at galois.com Tue Jul 3 06:36:01 2007 From: trac at galois.com (GHC) Date: Thu Jul 19 09:48:56 2007 Subject: [GHC] #722: Adrian Hey's StringMap library in the collections package. In-Reply-To: <071.afa1b80fe13c8fa1d4f541284fbf8932@localhost> References: <071.afa1b80fe13c8fa1d4f541284fbf8932@localhost> Message-ID: <080.0c0bcd3eba25020e01d77a6d2dddb291@localhost> #722: Adrian Hey's StringMap library in the collections package. -------------------------------+-------------------------------------------- Reporter: jpbernardy | Owner: Adrian Hey (if he accepts) Type: task | Status: new Priority: normal | Milestone: Not GHC Component: libraries/base | Version: 6.4.1 Severity: normal | Resolution: Keywords: collections | Difficulty: Unknown Os: Unknown | Testcase: N/A Architecture: Unknown | -------------------------------+-------------------------------------------- Changes (by simonmar): * milestone: 6.8 => Not GHC -- Ticket URL: GHC The Glasgow Haskell Compiler -------------- next part -------------- _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs From trac at galois.com Tue Jul 3 06:37:32 2007 From: trac at galois.com (GHC) Date: Thu Jul 19 09:48:56 2007 Subject: =?utf-8?b?UmU6IFtHSENdICMxMzc1OiBCeXRlU3RyaW5n4oCZcyDigJxsaW5l?= =?utf-8?q?s=E2=80=9D_eats_empty_lines?= In-Reply-To: <071.939c4c66bee4fa75617adb8f79146d30@localhost> References: <071.939c4c66bee4fa75617adb8f79146d30@localhost> Message-ID: <080.6d350248b5f57a6a7ad8b39a05f370bc@localhost> #1375: ByteString?s ?lines? eats empty lines -------------------------------+-------------------------------------------- Reporter: guest | Owner: Type: bug | Status: new Priority: high | Milestone: 6.8 Component: libraries/base | Version: 6.6.1 Severity: normal | Resolution: Keywords: | Difficulty: Unknown Os: Unknown | Testcase: Architecture: Unknown | -------------------------------+-------------------------------------------- Changes (by jpbernardy): * cc: dons@cse.unsw.edu.au Bulat.Ziganshin@gmail.com => dons@cse.unsw.edu.au Bulat.Ziganshin@gmail.com jeanphilippe.bernardy@gmail.com -- Ticket URL: GHC The Glasgow Haskell Compiler -------------- next part -------------- _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs From trac at galois.com Tue Jul 3 06:38:59 2007 From: trac at galois.com (GHC) Date: Thu Jul 19 09:48:56 2007 Subject: [GHC] #698: GHC's internal memory allocator never releases memory back to the OS In-Reply-To: <071.3083efcb0421c058594712afef210993@localhost> References: <071.3083efcb0421c058594712afef210993@localhost> Message-ID: <080.aa21ca500be48f9744c10f3e2e8a6175@localhost> #698: GHC's internal memory allocator never releases memory back to the OS -------------------------------+-------------------------------------------- Reporter: guest | Owner: Type: bug | Status: new Priority: low | Milestone: 6.8 Component: Runtime System | Version: 6.4.1 Severity: normal | Resolution: Keywords: | Difficulty: Moderate (1 day) Os: Linux | Testcase: N/A Architecture: Multiple | -------------------------------+-------------------------------------------- Changes (by guest): * cc: => Bulat.Ziganshin@gmail.com Comment: it becomes important when we are short on physical memory - in this case pages with garbage are written to swapfile :( it also important for long-running programs -- Ticket URL: GHC The Glasgow Haskell Compiler -------------- next part -------------- _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs From trac at galois.com Tue Jul 3 06:39:53 2007 From: trac at galois.com (GHC) Date: Thu Jul 19 09:48:56 2007 Subject: [GHC] #721: Write Data.Trie In-Reply-To: <071.134d5be9d97170d47086a01d426602a1@localhost> References: <071.134d5be9d97170d47086a01d426602a1@localhost> Message-ID: <080.5c9c7c6ef3dfbd000f30074a27daba34@localhost> #721: Write Data.Trie -------------------------------+-------------------------------------------- Reporter: jpbernardy | Owner: jpbernardy Type: task | Status: closed Priority: normal | Milestone: 6.8 Component: libraries/base | Version: 6.4.1 Severity: normal | Resolution: wontfix Keywords: collections | Difficulty: Unknown Os: Unknown | Testcase: N/A Architecture: Unknown | -------------------------------+-------------------------------------------- Changes (by jpbernardy): * resolution: => wontfix * status: new => closed -- Ticket URL: GHC The Glasgow Haskell Compiler -------------- next part -------------- _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs From trac at galois.com Tue Jul 3 06:40:04 2007 From: trac at galois.com (GHC) Date: Thu Jul 19 09:48:56 2007 Subject: [GHC] #437: Recompilation check should include flags In-Reply-To: <071.9fba8f665b03f5ca3b994a4c8f1a4c09@localhost> References: <071.9fba8f665b03f5ca3b994a4c8f1a4c09@localhost> Message-ID: <080.5d7affb3771a695ead47cadc334cf75c@localhost> #437: Recompilation check should include flags -------------------------+-------------------------------------------------- Reporter: simonpj | Owner: Type: bug | Status: new Priority: low | Milestone: 6.8 Component: Compiler | Version: 6.4.1 Severity: normal | Resolution: None Keywords: | Difficulty: Unknown Os: Unknown | Testcase: mod175 Architecture: Unknown | -------------------------+-------------------------------------------------- Changes (by guest): * cc: => Bulat.Ziganshin@gmail.com -- Ticket URL: GHC The Glasgow Haskell Compiler -------------- next part -------------- _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs From trac at galois.com Tue Jul 3 06:40:30 2007 From: trac at galois.com (GHC) Date: Thu Jul 19 09:48:56 2007 Subject: [GHC] #1480: Template Haskell should allow reification of modules In-Reply-To: <071.64f961d81ee5c836ca3adc7ab9c6b94f@localhost> References: <071.64f961d81ee5c836ca3adc7ab9c6b94f@localhost> Message-ID: <080.bed8914d8f5f9a778d1f29f8694a4df9@localhost> #1480: Template Haskell should allow reification of modules ---------------------------------+------------------------------------------ Reporter: igloo | Owner: Type: feature request | Status: new Priority: normal | Milestone: 6.8 Component: Template Haskell | Version: 6.6.1 Severity: normal | Resolution: Keywords: | Difficulty: Unknown Os: Unknown | Testcase: Architecture: Unknown | ---------------------------------+------------------------------------------ Changes (by guest): * cc: => Bulat.Ziganshin@gmail.com -- Ticket URL: GHC The Glasgow Haskell Compiler -------------- next part -------------- _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs From trac at galois.com Tue Jul 3 06:40:58 2007 From: trac at galois.com (GHC) Date: Thu Jul 19 09:48:56 2007 Subject: [GHC] #722: Adrian Hey's StringMap library in the collections package. In-Reply-To: <071.afa1b80fe13c8fa1d4f541284fbf8932@localhost> References: <071.afa1b80fe13c8fa1d4f541284fbf8932@localhost> Message-ID: <080.a937e8cf0f9c37cf4eb86368d52d6142@localhost> #722: Adrian Hey's StringMap library in the collections package. -------------------------------+-------------------------------------------- Reporter: jpbernardy | Owner: Adrian Hey (if he accepts) Type: task | Status: closed Priority: normal | Milestone: Not GHC Component: libraries/base | Version: 6.4.1 Severity: normal | Resolution: wontfix Keywords: collections | Difficulty: Unknown Os: Unknown | Testcase: N/A Architecture: Unknown | -------------------------------+-------------------------------------------- Changes (by jpbernardy): * resolution: => wontfix * status: new => closed -- Ticket URL: GHC The Glasgow Haskell Compiler -------------- next part -------------- _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs From trac at galois.com Tue Jul 3 06:41:05 2007 From: trac at galois.com (GHC) Date: Thu Jul 19 09:48:56 2007 Subject: [GHC] #1423: compilation with profiling makes gcc run out of memory In-Reply-To: <071.b708a94ef6810efaa73a7445952baf13@localhost> References: <071.b708a94ef6810efaa73a7445952baf13@localhost> Message-ID: <080.b9cdcee8a3478e17119f286c3e5b4e19@localhost> #1423: compilation with profiling makes gcc run out of memory ------------------------------------------+--------------------------------- Reporter: guest | Owner: Type: bug | Status: new Priority: normal | Milestone: 6.8 Component: Compiler | Version: 6.6 Severity: normal | Resolution: Keywords: via-c gcc compile profile | Difficulty: Unknown Os: Linux | Testcase: http://malde.org/~ketil/bio Architecture: x86 | ------------------------------------------+--------------------------------- Changes (by guest): * cc: => ketil@malde.org -- Ticket URL: GHC The Glasgow Haskell Compiler -------------- next part -------------- _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs From trac at galois.com Tue Jul 3 06:41:40 2007 From: trac at galois.com (GHC) Date: Thu Jul 19 09:48:56 2007 Subject: [GHC] #1425: Print operator types as infix In-Reply-To: <071.2337ba7f49f70bb3f0a276036e2c966b@localhost> References: <071.2337ba7f49f70bb3f0a276036e2c966b@localhost> Message-ID: <080.092e9c1b1bc4325e1fb41cd9a38d2a7c@localhost> #1425: Print operator types as infix ---------------------------------------+------------------------------------ Reporter: Michael D. Adams | Owner: Type: feature request | Status: new Priority: normal | Milestone: 6.8 Component: Compiler | Version: 6.6.1 Severity: normal | Resolution: Keywords: infix type constructor | Difficulty: Unknown Os: Unknown | Testcase: Architecture: Unknown | ---------------------------------------+------------------------------------ Changes (by guest): * cc: => Bulat.Ziganshin@gmail.com -- Ticket URL: GHC The Glasgow Haskell Compiler -------------- next part -------------- _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs From trac at galois.com Tue Jul 3 06:42:47 2007 From: trac at galois.com (GHC) Date: Thu Jul 19 09:48:56 2007 Subject: [GHC] #1399: better support for developing threaded applications in ghci In-Reply-To: <071.303d54e25571239368d55e00d4389e5e@localhost> References: <071.303d54e25571239368d55e00d4389e5e@localhost> Message-ID: <080.9d73e246435138f3400169fd6448d14d@localhost> #1399: better support for developing threaded applications in ghci --------------------------------+------------------------------------------- Reporter: guest | Owner: Type: feature request | Status: new Priority: normal | Milestone: 6.8 Component: GHCi | Version: 6.6.1 Severity: normal | Resolution: Keywords: | Difficulty: Unknown Os: Unknown | Testcase: Architecture: Unknown | --------------------------------+------------------------------------------- Changes (by guest): * cc: => Bulat.Ziganshin@gmail.com -- Ticket URL: GHC The Glasgow Haskell Compiler -------------- next part -------------- _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs From trac at galois.com Tue Jul 3 06:45:06 2007 From: trac at galois.com (GHC) Date: Thu Jul 19 09:48:56 2007 Subject: [GHC] #1361: When trying to run yi, it fails to compile main, and exits with an error In-Reply-To: <071.07119ca2c85e23fc13ef6f27e330a91f@localhost> References: <071.07119ca2c85e23fc13ef6f27e330a91f@localhost> Message-ID: <080.d5ffbfec29559184f625f1a427b4a059@localhost> #1361: When trying to run yi, it fails to compile main, and exits with an error -------------------------+-------------------------------------------------- Reporter: guest | Owner: Type: bug | Status: closed Priority: normal | Milestone: 6.8 Component: Compiler | Version: 6.6.1 Severity: normal | Resolution: wontfix Keywords: | Difficulty: Unknown Os: Linux | Testcase: Architecture: x86 | -------------------------+-------------------------------------------------- Changes (by jpbernardy): * resolution: => wontfix * status: new => closed -- Ticket URL: GHC The Glasgow Haskell Compiler -------------- next part -------------- _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell