GHC issueshttps://gitlab.haskell.org/ghc/ghc/-/issues2019-07-07T19:18:29Zhttps://gitlab.haskell.org/ghc/ghc/-/issues/318GHCi support on x86_642019-07-07T19:18:29ZnobodyGHCi support on x86_64```
I just installed the 64bit version of ghc on an athlon
64. ghc does work and produces correct 64bit code, but
ghci fails to start.
Here is the complete output:
[phil@athlon64 ~]$ ghci
___ ___ _
/ _ \ /\ /\/ __(_)
/ ...```
I just installed the 64bit version of ghc on an athlon
64. ghc does work and produces correct 64bit code, but
ghci fails to start.
Here is the complete output:
[phil@athlon64 ~]$ ghci
___ ___ _
/ _ \ /\ /\/ __(_)
/ /_\// /_/ / / | | GHC Interactive, version
6.2.2, for Haskell 98.
/ /_\\/ __ / /___| | http://www.haskell.org/ghc/
\____/\/ /_/\____/|_| Type :? for help.
Loading package base ... /usr/lib64/ghc-6.2.2/HSbase.o:
unknown architecture
ghc-6.2.2: panic! (the `impossible' happened, GHC
version 6.2.2):
loadObj: failed
Please report it as a compiler bug to
glasgow-haskell-bugs@haskell.org,
or http://sourceforge.net/projects/ghc/.
I'm using Fedora Core 3 and installed ghc using yum.
If you have any questions, contact me:
philipp.classen[AT]gmx.net
Thanks,
Philipp
```nobodynobodyhttps://gitlab.haskell.org/ghc/ghc/-/issues/317Simplifier doesn't preserve bottoms sometimes2019-07-07T19:18:29ZSimon MarlowSimplifier doesn't preserve bottoms sometimes```
Here's a test due to Iavor Diatchki
[iavor.diatchki@gmail.com]:
>> test2 :: Bool
>> test2 = stops (bot ())
>> where
>> stops :: Int# -> Bool
>> stops _ = True
ghc 6.4 gives the value True for test2.
``````
Here's a test due to Iavor Diatchki
[iavor.diatchki@gmail.com]:
>> test2 :: Bool
>> test2 = stops (bot ())
>> where
>> stops :: Int# -> Bool
>> stops _ = True
ghc 6.4 gives the value True for test2.
```https://gitlab.haskell.org/ghc/ghc/-/issues/316GHCi: No instance for (Show (IO ()))2019-07-07T19:18:30ZSimon MarlowGHCi: No instance for (Show (IO ()))```
From Wolfgang Thaller:
This behaviour (from today's stable branch) is slightly
confusing:
> Prelude> print id
>
> Top level:
> No instance for (Show (IO ()))
> arising from use of `print' at Top level
> Probable fix: ...```
From Wolfgang Thaller:
This behaviour (from today's stable branch) is slightly
confusing:
> Prelude> print id
>
> Top level:
> No instance for (Show (IO ()))
> arising from use of `print' at Top level
> Probable fix: add an instance declaration for
(Show (IO ()))
> In a 'do' expression: print it
>
> <interactive>:1:0:
> No instance for (Show (a -> a))
> arising from use of `print' at <interactive>:1:0-4
> Probable fix: add an instance declaration for
(Show (a -> a))
> In the definition of `it': it = print id
The second message makes sense, but the first one
doesn't. Also, what's
the difference between "Top level" and "<interactive>:1:0"?
```
<details><summary>Trac metadata</summary>
| Trac field | Value |
| ---------------------- | ------------- |
| Version | 6.4 |
| Type | Bug |
| TypeOfFailure | OtherFailure |
| Priority | low |
| Resolution | ResolvedFixed |
| Component | GHCi |
| Test case | |
| Differential revisions | |
| BlockedBy | |
| Related | |
| Blocking | |
| CC | |
| Operating system | |
| Architecture | |
</details>
<!-- {"blocked_by":[],"summary":"GHCi: No instance for (Show (IO ()))","status":"New","operating_system":"","component":"GHCi","related":[],"milestone":"","resolution":"ResolvedFixed","owner":{"tag":"OwnedBy","contents":"nobody"},"version":"6.4","keywords":[],"differentials":[],"test_case":"","architecture":"","cc":[""],"type":"Bug","description":"{{{\nFrom Wolfgang Thaller:\n\nThis behaviour (from today's stable branch) is slightly\nconfusing:\n\n> Prelude> print id\n>\n> Top level:\n> No instance for (Show (IO ()))\n> arising from use of `print' at Top level\n> Probable fix: add an instance declaration for\n(Show (IO ()))\n> In a 'do' expression: print it\n>\n> <interactive>:1:0:\n> No instance for (Show (a -> a))\n> arising from use of `print' at <interactive>:1:0-4\n> Probable fix: add an instance declaration for\n(Show (a -> a))\n> In the definition of `it': it = print id\n\nThe second message makes sense, but the first one\ndoesn't. Also, what's \nthe difference between \"Top level\" and \"<interactive>:1:0\"?\n\n\n}}}","type_of_failure":"OtherFailure","blocking":[]} -->nobodynobodyhttps://gitlab.haskell.org/ghc/ghc/-/issues/315Arbitrary function sections2019-07-07T19:18:30Za0sArbitrary function sections```
For operators we have the following shorthand:
op :: a -> b -> c
(`op` y) === \x -> x `op` y
(x `op`) === \y -> x `op` y
It would be nice to have a similar facility for
functions, e.g.:
f :: a -> b -> c -> d -> e
f _ y _ t === \x ...```
For operators we have the following shorthand:
op :: a -> b -> c
(`op` y) === \x -> x `op` y
(x `op`) === \y -> x `op` y
It would be nice to have a similar facility for
functions, e.g.:
f :: a -> b -> c -> d -> e
f _ y _ t === \x z -> f x y z t
f x _ z _ === \y t -> f x y z t
f x _ z === \y -> f x y z === \y t -> f x y z t
Because "_" is currently not allowed as an identifier
in contexts where this facility could possibly be in
effect, it seems safe to use it to indicate omitted
parameters in function application.
```nobodynobodyhttps://gitlab.haskell.org/ghc/ghc/-/issues/313allow hierarchical module names with --make2019-07-07T19:18:31Znobodyallow hierarchical module names with --make```
It would be convenient (and consistent) to allow the
use of hierarchical module names with --make, so that
something like:
ghc -isource_directory --make app.Main -o app
would find the source_directory/app/Main.hs module to
begin it...```
It would be convenient (and consistent) to allow the
use of hierarchical module names with --make, so that
something like:
ghc -isource_directory --make app.Main -o app
would find the source_directory/app/Main.hs module to
begin its processing.
- Jeff Newbern
jnewbern@yahoo.com
```
<details><summary>Trac metadata</summary>
| Trac field | Value |
| ---------------------- | ---------------- |
| Version | None |
| Type | FeatureRequest |
| TypeOfFailure | OtherFailure |
| Priority | normal |
| Resolution | ResolvedNoReason |
| Component | None |
| Test case | |
| Differential revisions | |
| BlockedBy | |
| Related | |
| Blocking | |
| CC | |
| Operating system | |
| Architecture | |
</details>
<!-- {"blocked_by":[],"summary":"allow hierarchical module names with --make","status":"New","operating_system":"","component":"None","related":[],"milestone":"","resolution":"ResolvedNoReason","owner":{"tag":"OwnedBy","contents":"nobody"},"version":"None","keywords":[],"differentials":[],"test_case":"","architecture":"","cc":[""],"type":"FeatureRequest","description":"{{{\nIt would be convenient (and consistent) to allow the\nuse of hierarchical module names with --make, so that\nsomething like:\n\nghc -isource_directory --make app.Main -o app\n\nwould find the source_directory/app/Main.hs module to\nbegin its processing.\n\n- Jeff Newbern\njnewbern@yahoo.com\n}}}","type_of_failure":"OtherFailure","blocking":[]} -->nobodynobodyhttps://gitlab.haskell.org/ghc/ghc/-/issues/312Poor error message for kind error2019-07-07T19:18:31ZSimon Peyton JonesPoor error message for kind error```
A kind error can lead to the following poor error msg:
tcfail132.hs:30:51:
Kind error: Expecting kind `k_a18s -> k_a18w ->
k_a18A -> *',
but `DUnit t' has kind `k_a18s ->
k_a18w -> *'
In the type synonym declaration for ...```
A kind error can lead to the following poor error msg:
tcfail132.hs:30:51:
Kind error: Expecting kind `k_a18s -> k_a18w ->
k_a18A -> *',
but `DUnit t' has kind `k_a18s ->
k_a18w -> *'
In the type synonym declaration for `LiftObject'
The source program is
newtype Object f' f t o1 o2 = Object (f' t o1 -> f t o2)
type DUnit t o1 o2 = ()
type T f g t o1 o2 = Either (f t o1 o2) (g t o1 o2)
type LiftObject t f' f = T (Object f' f t) (DUnit t)
```Simon Peyton JonesSimon Peyton Joneshttps://gitlab.haskell.org/ghc/ghc/-/issues/310Data.Generics type error2019-07-07T19:18:32ZnobodyData.Generics type error```
I get a strange type error when using
Data.Generics.Twins - but if I include the text of the
definition in my own file it works!
I attach two files, one type checks, one does not. The
only difference is that I move a definition betw...```
I get a strange type error when using
Data.Generics.Twins - but if I include the text of the
definition in my own file it works!
I attach two files, one type checks, one does not. The
only difference is that I move a definition between
modules.
/Patrik
```
<details><summary>Trac metadata</summary>
| Trac field | Value |
| ---------------------- | ----------------------- |
| Version | 6.4 |
| Type | Bug |
| TypeOfFailure | OtherFailure |
| Priority | normal |
| Resolution | ResolvedFixed |
| Component | Compiler (Type checker) |
| Test case | |
| Differential revisions | |
| BlockedBy | |
| Related | |
| Blocking | |
| CC | |
| Operating system | |
| Architecture | |
</details>
<!-- {"blocked_by":[],"summary":"Data.Generics type error","status":"New","operating_system":"","component":"Compiler (Type checker)","related":[],"milestone":"","resolution":"ResolvedFixed","owner":{"tag":"OwnedBy","contents":"nobody"},"version":"6.4","keywords":[],"differentials":[],"test_case":"","architecture":"","cc":[""],"type":"Bug","description":"{{{\nI get a strange type error when using\nData.Generics.Twins - but if I include the text of the\ndefinition in my own file it works!\n\nI attach two files, one type checks, one does not. The\nonly difference is that I move a definition between\nmodules.\n\n/Patrik\n\n}}}","type_of_failure":"OtherFailure","blocking":[]} -->nobodynobodyhttps://gitlab.haskell.org/ghc/ghc/-/issues/308'seq' not documented in standard docs2019-07-07T19:18:32Znobody'seq' not documented in standard docs```
'seq' is not documented in the current docs, although
it is described in the newAPI:
http://www.haskell.org/HOpenGL/newAPI/base/Prelude.html#v%3Aseq
The index for the current docs lists two locations for
'seq', Data.Parrallel and P...```
'seq' is not documented in the current docs, although
it is described in the newAPI:
http://www.haskell.org/HOpenGL/newAPI/base/Prelude.html#v%3Aseq
The index for the current docs lists two locations for
'seq', Data.Parrallel and Prelude, but 'seq' is not
listed in either:
http://www.haskell.org/ghc/docs/latest/html/libraries/doc-index-S.html
Since the newer docs have it, maybe this isn't an
issue, or maybe it's already set to be fixed. Do as
you please.
Take care,
Eric Etheridge
etherson@yahoo.com
```
<details><summary>Trac metadata</summary>
| Trac field | Value |
| ---------------------- | ------------- |
| Version | None |
| Type | Bug |
| TypeOfFailure | OtherFailure |
| Priority | normal |
| Resolution | ResolvedFixed |
| Component | Documentation |
| Test case | |
| Differential revisions | |
| BlockedBy | |
| Related | |
| Blocking | |
| CC | |
| Operating system | |
| Architecture | |
</details>
<!-- {"blocked_by":[],"summary":"'seq' not documented in standard docs","status":"New","operating_system":"","component":"Documentation","related":[],"milestone":"","resolution":"ResolvedFixed","owner":{"tag":"OwnedBy","contents":"nobody"},"version":"None","keywords":[],"differentials":[],"test_case":"","architecture":"","cc":[""],"type":"Bug","description":"{{{\n'seq' is not documented in the current docs, although\nit is described in the newAPI:\n\nhttp://www.haskell.org/HOpenGL/newAPI/base/Prelude.html#v%3Aseq\n\nThe index for the current docs lists two locations for\n'seq', Data.Parrallel and Prelude, but 'seq' is not\nlisted in either:\n\nhttp://www.haskell.org/ghc/docs/latest/html/libraries/doc-index-S.html\n\nSince the newer docs have it, maybe this isn't an\nissue, or maybe it's already set to be fixed. Do as\nyou please.\n\nTake care,\nEric Etheridge\netherson@yahoo.com\n}}}","type_of_failure":"OtherFailure","blocking":[]} -->nobodynobodyhttps://gitlab.haskell.org/ghc/ghc/-/issues/306EVACUATED object entered!2021-01-22T20:00:51ZmanpreetEVACUATED object entered!```
darcs.exe: internal error: EVACUATED object entered!
Please report this as a bug to
glasgow-haskell-bugs@haskell.org,
http://www.sourceforge.net/projects/ghc/
```
<details><summary>Trac metadata</summary>
| Trac field ...```
darcs.exe: internal error: EVACUATED object entered!
Please report this as a bug to
glasgow-haskell-bugs@haskell.org,
http://www.sourceforge.net/projects/ghc/
```
<details><summary>Trac metadata</summary>
| Trac field | Value |
| ---------------------- | ---------------- |
| Version | 6.2.2 |
| Type | Bug |
| TypeOfFailure | OtherFailure |
| Priority | normal |
| Resolution | ResolvedNoReason |
| Component | None |
| Test case | |
| Differential revisions | |
| BlockedBy | |
| Related | |
| Blocking | |
| CC | |
| Operating system | |
| Architecture | |
</details>
<!-- {"blocked_by":[],"summary":"EVACUATED object entered!","status":"New","operating_system":"","component":"None","related":[],"milestone":"","resolution":"ResolvedNoReason","owner":{"tag":"OwnedBy","contents":"nobody"},"version":"6.2.2","keywords":[],"differentials":[],"test_case":"","architecture":"","cc":[""],"type":"Bug","description":"{{{\n darcs.exe: internal error: EVACUATED object entered!\nPlease report this as a bug to\nglasgow-haskell-bugs@haskell.org,\nhttp://www.sourceforge.net/projects/ghc/\n}}}","type_of_failure":"OtherFailure","blocking":[]} -->nobodynobodyhttps://gitlab.haskell.org/ghc/ghc/-/issues/305:i gives bogus type2019-07-07T19:18:33Zpimlott:i gives bogus type```
Observed by me and Ketil Malde
<ketil+haskell@ii.uib.no> in ghc 6.2.1 and 6.2.2:
Prelude> let (...) = (.) . (.) . (.)
Prelude> :t (...)
(...) :: forall c a a1 a2 b.
(b -> c) -> (a2 -> a1 -> a -> b) -> a2 -> a1
-> a -> c
Pre...```
Observed by me and Ketil Malde
<ketil+haskell@ii.uib.no> in ghc 6.2.1 and 6.2.2:
Prelude> let (...) = (.) . (.) . (.)
Prelude> :t (...)
(...) :: forall c a a1 a2 b.
(b -> c) -> (a2 -> a1 -> a -> b) -> a2 -> a1
-> a -> c
Prelude> :i (...)
-- ... is a variable, defined at <interactive>:1
(...) :: forall a a b c a.
(b -> c) -> (a -> a -> a -> b) -> a -> a -> a -> c
:t is correct, but notice that in :i, the type variable
a is repeated.
PS. There is no bug category for ghci.
```
<details><summary>Trac metadata</summary>
| Trac field | Value |
| ---------------------- | ------------- |
| Version | 6.2.2 |
| Type | Bug |
| TypeOfFailure | OtherFailure |
| Priority | normal |
| Resolution | ResolvedFixed |
| Component | Compiler |
| Test case | |
| Differential revisions | |
| BlockedBy | |
| Related | |
| Blocking | |
| CC | |
| Operating system | |
| Architecture | |
</details>
<!-- {"blocked_by":[],"summary":":i gives bogus type","status":"New","operating_system":"","component":"Compiler","related":[],"milestone":"","resolution":"ResolvedFixed","owner":{"tag":"OwnedBy","contents":"nobody"},"version":"6.2.2","keywords":[],"differentials":[],"test_case":"","architecture":"","cc":[""],"type":"Bug","description":"{{{\nObserved by me and Ketil Malde\n<ketil+haskell@ii.uib.no> in ghc 6.2.1 and 6.2.2:\n\nPrelude> let (...) = (.) . (.) . (.)\nPrelude> :t (...)\n(...) :: forall c a a1 a2 b.\n (b -> c) -> (a2 -> a1 -> a -> b) -> a2 -> a1\n-> a -> c\nPrelude> :i (...)\n-- ... is a variable, defined at <interactive>:1\n(...) :: forall a a b c a.\n (b -> c) -> (a -> a -> a -> b) -> a -> a -> a -> c\n\n:t is correct, but notice that in :i, the type variable\na is repeated.\n\nPS. There is no bug category for ghci.\n}}}","type_of_failure":"OtherFailure","blocking":[]} -->nobodynobodyhttps://gitlab.haskell.org/ghc/ghc/-/issues/304ghc hangs during compilation2019-07-07T19:18:33Znobodyghc hangs during compilation```
The following code causes both ghc-6.4.20050209 and
ghc-6.2.2 to hang during compilation.
newtype S = S { unS :: S -> S }
y :: S -> S
y (S f) = g (S g) where g h = f (unS h h)
Thomas Jäger <ThJaeger@gmail.com>
```
<details><summ...```
The following code causes both ghc-6.4.20050209 and
ghc-6.2.2 to hang during compilation.
newtype S = S { unS :: S -> S }
y :: S -> S
y (S f) = g (S g) where g h = f (unS h h)
Thomas Jäger <ThJaeger@gmail.com>
```
<details><summary>Trac metadata</summary>
| Trac field | Value |
| ---------------------- | ----------------------- |
| Version | None |
| Type | Bug |
| TypeOfFailure | OtherFailure |
| Priority | normal |
| Resolution | ResolvedNoReason |
| Component | Compiler (Type checker) |
| Test case | |
| Differential revisions | |
| BlockedBy | |
| Related | |
| Blocking | |
| CC | |
| Operating system | |
| Architecture | |
</details>
<!-- {"blocked_by":[],"summary":"ghc hangs during compilation","status":"New","operating_system":"","component":"Compiler (Type checker)","related":[],"milestone":"","resolution":"ResolvedNoReason","owner":{"tag":"OwnedBy","contents":"nobody"},"version":"None","keywords":[],"differentials":[],"test_case":"","architecture":"","cc":[""],"type":"Bug","description":"{{{\nThe following code causes both ghc-6.4.20050209 and\nghc-6.2.2 to hang during compilation.\n\nnewtype S = S { unS :: S -> S }\n\ny :: S -> S\ny (S f) = g (S g) where g h = f (unS h h)\n\n\nThomas Jäger <ThJaeger@gmail.com>\n}}}","type_of_failure":"OtherFailure","blocking":[]} -->nobodynobodyhttps://gitlab.haskell.org/ghc/ghc/-/issues/303Rebindable syntax doesn't work as advertised2019-07-07T19:18:33ZnobodyRebindable syntax doesn't work as advertised```
--
-- According to section 7.3.5. Rebindable syntax in the
user's manual
-- this should work (unless I totally misunderstood it).
-- It doesn't.
--
-- Compile with -fno-implicit-prelude
--
-- Lennart
--
import Prelude hiding(Mon...```
--
-- According to section 7.3.5. Rebindable syntax in the
user's manual
-- this should work (unless I totally misunderstood it).
-- It doesn't.
--
-- Compile with -fno-implicit-prelude
--
-- Lennart
--
import Prelude hiding(Monad(..))
class B a where
b :: a
instance B Bool where
b = False
class M m where
return :: a -> m a
(>>=) :: (B a) => m a -> (a -> m b) -> m b
(>>) :: (B a) => m a -> m b -> m b
fail :: String -> m a
p >> q = p >>= \ _ -> q
fail s = error s
instance M Maybe where
return x = Just x
(>>=) = error "bind"
test :: Maybe Bool
test = do
x <- return True
return (x && x)
unJust (Just x) = x
main = print (unJust test)
```nobodynobodyhttps://gitlab.haskell.org/ghc/ghc/-/issues/302overlapping pattern matching weirdness2019-07-07T19:18:34Znobodyoverlapping pattern matching weirdness```
the following code gives me the error message below in
GHCi:
> context :: Lattice -> Context State Constraint
> context lat = case lat of
> fromBigLattice -> bigC
> fromSmallLattice -> smallC
> _ -> error "non-existing lattic...```
the following code gives me the error message below in
GHCi:
> context :: Lattice -> Context State Constraint
> context lat = case lat of
> fromBigLattice -> bigC
> fromSmallLattice -> smallC
> _ -> error "non-existing lattice..."
GHCi:
Logic.lhs:92:
Warning: Pattern match(es) are overlapped
In a case alternative:
fromSmallLattice -> ...
_ -> ...
ghc.exe: panic! (the `impossible' happened, GHC version
6.2.1):
Bytecode generator can't handle unboxed tuples.
Possibly due
to foreign import/export decls in source. Workaround:
compile this module to a .o file, then restart session.
Please report it as a compiler bug to
glasgow-haskell-bugs@haskell.org,
or http://sourceforge.net/projects/ghc/.
the Lattice type is a tuple...
for more details, contact
stijn@jaist.ac.jp
```
<details><summary>Trac metadata</summary>
| Trac field | Value |
| ---------------------- | ---------------- |
| Version | None |
| Type | Bug |
| TypeOfFailure | OtherFailure |
| Priority | normal |
| Resolution | ResolvedNoReason |
| Component | None |
| Test case | |
| Differential revisions | |
| BlockedBy | |
| Related | |
| Blocking | |
| CC | |
| Operating system | |
| Architecture | |
</details>
<!-- {"blocked_by":[],"summary":"overlapping pattern matching weirdness","status":"New","operating_system":"","component":"None","related":[],"milestone":"","resolution":"ResolvedNoReason","owner":{"tag":"OwnedBy","contents":"nobody"},"version":"None","keywords":[],"differentials":[],"test_case":"","architecture":"","cc":[""],"type":"Bug","description":"{{{\nthe following code gives me the error message below in\nGHCi:\n\n> context :: Lattice -> Context State Constraint\n> context lat = case lat of \n>\tfromBigLattice -> bigC\n>\tfromSmallLattice -> smallC\n> _ -> error \"non-existing lattice...\"\n\nGHCi:\n\nLogic.lhs:92:\n Warning: Pattern match(es) are overlapped\n\t In a case alternative:\n\t\t fromSmallLattice -> ...\n\t\t _ -> ...\nghc.exe: panic! (the `impossible' happened, GHC version\n6.2.1):\n\tBytecode generator can't handle unboxed tuples. \nPossibly due\n\tto foreign import/export decls in source. Workaround:\n\tcompile this module to a .o file, then restart session.\n\nPlease report it as a compiler bug to\nglasgow-haskell-bugs@haskell.org,\nor http://sourceforge.net/projects/ghc/.\n\n\nthe Lattice type is a tuple... \nfor more details, contact\nstijn@jaist.ac.jp\n}}}","type_of_failure":"OtherFailure","blocking":[]} -->nobodynobodyhttps://gitlab.haskell.org/ghc/ghc/-/issues/300ghc-6.2.2 requires special configure flag...2019-07-07T19:18:34Ztitusghc-6.2.2 requires special configure flag...```
To build from the source at
http://www.haskell.org/ghc/download_ghc_622.html
you need to add the --disable-hc-boot command to 'configure'.
This isn't mentioned anywhere in the docs, and certainly isn't the
default config ;).
th...```
To build from the source at
http://www.haskell.org/ghc/download_ghc_622.html
you need to add the --disable-hc-boot command to 'configure'.
This isn't mentioned anywhere in the docs, and certainly isn't the
default config ;).
thanks,
--titus
(on Linux, no previous GHC install)
```
<details><summary>Trac metadata</summary>
| Trac field | Value |
| ---------------------- | ---------------- |
| Version | None |
| Type | Bug |
| TypeOfFailure | OtherFailure |
| Priority | normal |
| Resolution | ResolvedNoReason |
| Component | Build System |
| Test case | |
| Differential revisions | |
| BlockedBy | |
| Related | |
| Blocking | |
| CC | |
| Operating system | |
| Architecture | |
</details>
<!-- {"blocked_by":[],"summary":"ghc-6.2.2 requires special configure flag...","status":"New","operating_system":"","component":"Build System","related":[],"milestone":"","resolution":"ResolvedNoReason","owner":{"tag":"OwnedBy","contents":"nobody"},"version":"None","keywords":[],"differentials":[],"test_case":"","architecture":"","cc":[""],"type":"Bug","description":"{{{\nTo build from the source at\n\nhttp://www.haskell.org/ghc/download_ghc_622.html\n\nyou need to add the --disable-hc-boot command to 'configure'. \nThis isn't mentioned anywhere in the docs, and certainly isn't the \ndefault config ;).\n\nthanks,\n--titus\n\n(on Linux, no previous GHC install)\n}}}","type_of_failure":"OtherFailure","blocking":[]} -->nobodynobodyhttps://gitlab.haskell.org/ghc/ghc/-/issues/299gfindtype has overly restrictive type2019-07-07T19:18:35Znobodygfindtype has overly restrictive type```
gfindtype should have type
gfindtype :: (Data x, Typeable y) => x -> Maybe y
Data y is unnecessary.
```
<details><summary>Trac metadata</summary>
| Trac field | Value |
| ---------------------- | -------------...```
gfindtype should have type
gfindtype :: (Data x, Typeable y) => x -> Maybe y
Data y is unnecessary.
```
<details><summary>Trac metadata</summary>
| Trac field | Value |
| ---------------------- | ------------- |
| Version | None |
| Type | Bug |
| TypeOfFailure | OtherFailure |
| Priority | normal |
| Resolution | ResolvedFixed |
| Component | None |
| Test case | |
| Differential revisions | |
| BlockedBy | |
| Related | |
| Blocking | |
| CC | |
| Operating system | |
| Architecture | |
</details>
<!-- {"blocked_by":[],"summary":"gfindtype has overly restrictive type","status":"New","operating_system":"","component":"None","related":[],"milestone":"","resolution":"ResolvedFixed","owner":{"tag":"OwnedBy","contents":"nobody"},"version":"None","keywords":[],"differentials":[],"test_case":"","architecture":"","cc":[""],"type":"Bug","description":"{{{\ngfindtype should have type\n\ngfindtype :: (Data x, Typeable y) => x -> Maybe y\n\nData y is unnecessary.\n}}}","type_of_failure":"OtherFailure","blocking":[]} -->nobodynobodyhttps://gitlab.haskell.org/ghc/ghc/-/issues/298template Haskell fails in GHCi2019-07-07T19:18:35Znobodytemplate Haskell fails in GHCi```
Prelude> let x = 1
Prelude> $([|x|])
ghc.exe: panic! (the `impossible' happened, GHC version
6.2.2):
nameModule x {- v a6XY -}
Please report it as a compiler bug to glasgow-haskell-
bugs@haskell.org,
or http://sourceforge.n...```
Prelude> let x = 1
Prelude> $([|x|])
ghc.exe: panic! (the `impossible' happened, GHC version
6.2.2):
nameModule x {- v a6XY -}
Please report it as a compiler bug to glasgow-haskell-
bugs@haskell.org,
or http://sourceforge.net/projects/ghc/.
```
<details><summary>Trac metadata</summary>
| Trac field | Value |
| ---------------------- | ---------------- |
| Version | 6.2.2 |
| Type | Bug |
| TypeOfFailure | OtherFailure |
| Priority | normal |
| Resolution | ResolvedFixed |
| Component | Template Haskell |
| Test case | |
| Differential revisions | |
| BlockedBy | |
| Related | |
| Blocking | |
| CC | |
| Operating system | |
| Architecture | |
</details>
<!-- {"blocked_by":[],"summary":"template Haskell fails in GHCi","status":"New","operating_system":"","component":"Template Haskell","related":[],"milestone":"","resolution":"ResolvedFixed","owner":{"tag":"OwnedBy","contents":"simonpj"},"version":"6.2.2","keywords":[],"differentials":[],"test_case":"","architecture":"","cc":[""],"type":"Bug","description":"{{{\nPrelude> let x = 1\nPrelude> $([|x|])\nghc.exe: panic! (the `impossible' happened, GHC version \n6.2.2):\n nameModule x {- v a6XY -}\n\nPlease report it as a compiler bug to glasgow-haskell-\nbugs@haskell.org,\nor http://sourceforge.net/projects/ghc/.\n\n}}}","type_of_failure":"OtherFailure","blocking":[]} -->Simon Peyton JonesSimon Peyton Joneshttps://gitlab.haskell.org/ghc/ghc/-/issues/297version output not going to stdout2019-07-07T19:18:35ZJens Petersenversion output not going to stdout```
I built 6.3.20050121 and x86_64 and tried
ghc-6.3.20050123-i386-unknown-linux too.
For both of them the output of "ghc -V" doesn't
seem to go to standard output.
```
<details><summary>Trac metadata</summary>
| Trac field ...```
I built 6.3.20050121 and x86_64 and tried
ghc-6.3.20050123-i386-unknown-linux too.
For both of them the output of "ghc -V" doesn't
seem to go to standard output.
```
<details><summary>Trac metadata</summary>
| Trac field | Value |
| ---------------------- | -------------- |
| Version | 6.4 |
| Type | Bug |
| TypeOfFailure | OtherFailure |
| Priority | normal |
| Resolution | ResolvedFixed |
| Component | libraries/base |
| Test case | |
| Differential revisions | |
| BlockedBy | |
| Related | |
| Blocking | |
| CC | |
| Operating system | |
| Architecture | |
</details>
<!-- {"blocked_by":[],"summary":"version output not going to stdout","status":"New","operating_system":"","component":"libraries/base","related":[],"milestone":"","resolution":"ResolvedFixed","owner":{"tag":"OwnedBy","contents":"wthaller"},"version":"6.4","keywords":[],"differentials":[],"test_case":"","architecture":"","cc":[""],"type":"Bug","description":"{{{\nI built 6.3.20050121 and x86_64 and tried\nghc-6.3.20050123-i386-unknown-linux too.\nFor both of them the output of \"ghc -V\" doesn't\nseem to go to standard output.\n}}}","type_of_failure":"OtherFailure","blocking":[]} -->wthallerwthallerhttps://gitlab.haskell.org/ghc/ghc/-/issues/296internal error: getMBlock: mmap: Invalid argument2019-07-07T19:18:36Zggdinternal error: getMBlock: mmap: Invalid argument```
In an attempt to compile latest HaRe snapshot on amd64 platform
(ghc-6.2.2, happy-1.15) I get the following error:
gour@gaura-nitai ~/projects/haskell/hare $ make
cp -r diffs/tools/* tools
mkdir -p refactorer/hidir/`uname`
...```
In an attempt to compile latest HaRe snapshot on amd64 platform
(ghc-6.2.2, happy-1.15) I get the following error:
gour@gaura-nitai ~/projects/haskell/hare $ make
cp -r diffs/tools/* tools
mkdir -p refactorer/hidir/`uname`
mkdir -p refactorer/odir/`uname`
cd editors; ./localpaths "HaRe 03/12/2004"
cd editors; ghc --make -fglasgow-exts GenEditorInterfaces -o
GenEditorInterfaces
Chasing modules from: GenEditorInterfaces
Compiling LocalSettings ( ./LocalSettings.hs, ./LocalSettings.o )
ghc-6.2.2: internal error: getMBlock: mmap: Invalid argument
Please report this as a bug to glasgow-haskell-bugs@haskell.org,
or http://www.sourceforge.net/projects/ghc/
make: *** [editors/GenEditorInterfaces] Error 254
Sincerely,
Gour
```
<details><summary>Trac metadata</summary>
| Trac field | Value |
| ---------------------- | ------------- |
| Version | None |
| Type | Bug |
| TypeOfFailure | OtherFailure |
| Priority | normal |
| Resolution | ResolvedFixed |
| Component | None |
| Test case | |
| Differential revisions | |
| BlockedBy | |
| Related | |
| Blocking | |
| CC | |
| Operating system | |
| Architecture | |
</details>
<!-- {"blocked_by":[],"summary":"internal error: getMBlock: mmap: Invalid argument ","status":"New","operating_system":"","component":"None","related":[],"milestone":"","resolution":"ResolvedFixed","owner":{"tag":"OwnedBy","contents":"simonmar"},"version":"None","keywords":[],"differentials":[],"test_case":"","architecture":"","cc":[""],"type":"Bug","description":"{{{\nIn an attempt to compile latest HaRe snapshot on amd64 platform \n(ghc-6.2.2, happy-1.15) I get the following error: \n \ngour@gaura-nitai ~/projects/haskell/hare $ make \ncp -r diffs/tools/* tools \nmkdir -p refactorer/hidir/`uname` \nmkdir -p refactorer/odir/`uname` \ncd editors; ./localpaths \"HaRe 03/12/2004\" \ncd editors; ghc --make -fglasgow-exts GenEditorInterfaces -o \nGenEditorInterfaces \nChasing modules from: GenEditorInterfaces \nCompiling LocalSettings ( ./LocalSettings.hs, ./LocalSettings.o ) \nghc-6.2.2: internal error: getMBlock: mmap: Invalid argument \n Please report this as a bug to glasgow-haskell-bugs@haskell.org, \n or http://www.sourceforge.net/projects/ghc/ \nmake: *** [editors/GenEditorInterfaces] Error 254 \n \n \nSincerely, \nGour \n \n}}}","type_of_failure":"OtherFailure","blocking":[]} -->Simon MarlowSimon Marlowhttps://gitlab.haskell.org/ghc/ghc/-/issues/295GHC panic2019-07-07T19:18:36ZnobodyGHC panic```
This concerns GHC HEAD (6.3) on 20 Jan 2005.
I'm afraid this is not going to be a very useful bug
report,
but I thought I'd file my observations anyway.
When compiling a file AFRPTestsReact.hs, GHC panics:
seshat-257% ghc -c -fgla...```
This concerns GHC HEAD (6.3) on 20 Jan 2005.
I'm afraid this is not going to be a very useful bug
report,
but I thought I'd file my observations anyway.
When compiling a file AFRPTestsReact.hs, GHC panics:
seshat-257% ghc -c -fglasgow-exts -package lang
-package concurrent -i../src AFRPTestsReact.hs
ghc-6.3: panic! (the `impossible' happened, GHC version
6.3):
Ix{Int}.index: Index (257) out of range ((0,118))
Please report it as a compiler bug to
glasgow-haskell-bugs@haskell.org,
or http://sourceforge.net/projects/ghc/.
I start to work on creating a small test case that will
exhibit
the bug by making a copy of the file under a different
name.
But when I compile that file, with the exact same
command line arguments, just to routinely ensure that I
can recreate the bug before I start modifying things,
everything works fine!
I compile the old file again, and again GHC panics, despite
the files being identical , living in the same
directory, being
compiled with the same command line arguments and
from the very same prompt (same environment variables).
I try a few times, and GHC consistently behaves as
described: old file => panic, any copy of the file =>
compiles fine.
Eventually, I "touch" the old file. And then it
compiles just fine!
Possibly some problem with reading file attributes???
Sorry that I cannot provide more info (e.g.
the exact time and date of the file): I'm no
longer able to recreate the problem.
/Henrik
e-mail: nhn@cs.nott.ac.uk
```
<details><summary>Trac metadata</summary>
| Trac field | Value |
| ---------------------- | ---------------- |
| Version | 6.4 |
| Type | Bug |
| TypeOfFailure | OtherFailure |
| Priority | normal |
| Resolution | ResolvedNoReason |
| Component | Compiler |
| Test case | |
| Differential revisions | |
| BlockedBy | |
| Related | |
| Blocking | |
| CC | |
| Operating system | |
| Architecture | |
</details>
<!-- {"blocked_by":[],"summary":"GHC panic","status":"New","operating_system":"","component":"Compiler","related":[],"milestone":"","resolution":"ResolvedNoReason","owner":{"tag":"OwnedBy","contents":"simonmar"},"version":"6.4","keywords":[],"differentials":[],"test_case":"","architecture":"","cc":[""],"type":"Bug","description":"{{{\nThis concerns GHC HEAD (6.3) on 20 Jan 2005.\n\nI'm afraid this is not going to be a very useful bug\nreport,\nbut I thought I'd file my observations anyway.\n\nWhen compiling a file AFRPTestsReact.hs, GHC panics:\n\nseshat-257% ghc -c -fglasgow-exts -package lang\n-package concurrent -i../src AFRPTestsReact.hs\nghc-6.3: panic! (the `impossible' happened, GHC version\n6.3):\n Ix{Int}.index: Index (257) out of range ((0,118))\n \nPlease report it as a compiler bug to\nglasgow-haskell-bugs@haskell.org,\nor http://sourceforge.net/projects/ghc/.\n\nI start to work on creating a small test case that will\nexhibit\nthe bug by making a copy of the file under a different\nname.\n\nBut when I compile that file, with the exact same\ncommand line arguments, just to routinely ensure that I\ncan recreate the bug before I start modifying things,\neverything works fine!\n\nI compile the old file again, and again GHC panics, despite\nthe files being identical , living in the same\ndirectory, being\ncompiled with the same command line arguments and\nfrom the very same prompt (same environment variables).\n\nI try a few times, and GHC consistently behaves as\ndescribed: old file => panic, any copy of the file =>\ncompiles fine.\n\nEventually, I \"touch\" the old file. And then it\ncompiles just fine!\n\nPossibly some problem with reading file attributes???\n\nSorry that I cannot provide more info (e.g.\nthe exact time and date of the file): I'm no\nlonger able to recreate the problem.\n\n/Henrik\n\ne-mail: nhn@cs.nott.ac.uk\n\n}}}","type_of_failure":"OtherFailure","blocking":[]} -->Simon MarlowSimon Marlowhttps://gitlab.haskell.org/ghc/ghc/-/issues/294GHCi does not find instances2019-07-07T19:18:36ZnobodyGHCi does not find instances```
This report concerns GHC HEAD (6.3) as downloaded from
CVS around 2PM on 20 Jan 2005.
It seems GHCi does not find some instance declarations.
Consider the following trivial example:
module Foo where
data Foo = Foo
instance Sho...```
This report concerns GHC HEAD (6.3) as downloaded from
CVS around 2PM on 20 Jan 2005.
It seems GHCi does not find some instance declarations.
Consider the following trivial example:
module Foo where
data Foo = Foo
instance Show Foo where
show Foo = "Foo"
When loaded into GHCi, regardless of whether it is
first compiled or not, GHCi claims that Foo is not an
instance
of Show. E.g.
Prelude> :load Foo
Compiling Foo ( Foo.hs, interpreted )
Ok, modules loaded: Foo.
*Foo> show Foo
<interactive>:1:0:
No instance for (Show Foo)
arising from use of `show' at <interactive>:1:0-3
Probable fix: add an instance declaration for (Show
Foo)
In the definition of `it': it = show Foo
*Foo> :i Foo
data Foo = Foo
-- Defined at Foo.hs:3:5
But Foo is plainly an instance of Show.
GHC itself has no problems with this
(of course).
Best,
/Henrik
e-mail: nhn@cs.nott.ac.uk
```
<details><summary>Trac metadata</summary>
| Trac field | Value |
| ---------------------- | ------------- |
| Version | 6.4 |
| Type | Bug |
| TypeOfFailure | OtherFailure |
| Priority | normal |
| Resolution | ResolvedFixed |
| Component | Compiler |
| Test case | |
| Differential revisions | |
| BlockedBy | |
| Related | |
| Blocking | |
| CC | |
| Operating system | |
| Architecture | |
</details>
<!-- {"blocked_by":[],"summary":"GHCi does not find instances","status":"New","operating_system":"","component":"Compiler","related":[],"milestone":"","resolution":"ResolvedFixed","owner":{"tag":"OwnedBy","contents":"nobody"},"version":"6.4","keywords":[],"differentials":[],"test_case":"","architecture":"","cc":[""],"type":"Bug","description":"{{{\nThis report concerns GHC HEAD (6.3) as downloaded from\nCVS around 2PM on 20 Jan 2005.\n\nIt seems GHCi does not find some instance declarations.\n\nConsider the following trivial example:\n\nmodule Foo where\n \ndata Foo = Foo\n \ninstance Show Foo where\n show Foo = \"Foo\"\n\nWhen loaded into GHCi, regardless of whether it is\nfirst compiled or not, GHCi claims that Foo is not an\ninstance\nof Show. E.g.\n\nPrelude> :load Foo\nCompiling Foo ( Foo.hs, interpreted )\nOk, modules loaded: Foo.\n*Foo> show Foo\n \n<interactive>:1:0:\n No instance for (Show Foo)\n arising from use of `show' at <interactive>:1:0-3\n Probable fix: add an instance declaration for (Show\nFoo)\n In the definition of `it': it = show Foo\n*Foo> :i Foo\ndata Foo = Foo\n-- Defined at Foo.hs:3:5\n\nBut Foo is plainly an instance of Show.\n\nGHC itself has no problems with this\n(of course).\n\nBest,\n\n/Henrik\n\ne-mail: nhn@cs.nott.ac.uk\n\n}}}","type_of_failure":"OtherFailure","blocking":[]} -->nobodynobody