#8492: Exception: expectJust cpeBody:collect_args
----------------------------------+----------------------------------
Reporter: CoreyOConnor | Owner:
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 7.6.3
Keywords: | Operating System: MacOS X
Architecture: x86_64 (amd64) | Type of failure: Runtime crash
Difficulty: Unknown | Test Case:
Blocked By: | Blocking:
Related Tickets: |
----------------------------------+----------------------------------
1. run CollectArgsFailing.hs
2. run CollectArgsPassing.hs
My expectation is for both programs to be equivalent. However, the first
program fails with `*** Exception: expectJust cpeBody:collect_args`. The
second works as expected.
{{{
corey-mbp:tmp corey$ runhaskell CollectArgsIssueFailing.hs
*** Exception: expectJust cpeBody:collect_args
corey-mbp:tmp corey$ runhaskell CollectArgsIssuePassing.hs
True
}}}
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8492>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
#8356: Strangeness with FunDeps
----------------------------+----------------------------------------------
Reporter: ksf | Owner:
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 7.7
Keywords: | Operating System: Unknown/Multiple
Architecture: | Type of failure: GHC rejects valid program
Unknown/Multiple | Test Case:
Difficulty: Unknown | Blocking:
Blocked By: |
Related Tickets: |
----------------------------+----------------------------------------------
{{{
{-# LANGUAGE UndecidableInstances #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE GADTSyntax #-}
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE FunctionalDependencies #-}
import GHC.TypeLits
data (:::) :: Symbol -> * -> * where
Field :: sy ::: t
class Replaced (sy :: Symbol) a b (xs :: [*]) (ys :: [*]) | sy a b xs ->
ys, sy a b ys -> xs
instance Replaced sy a b ((sy ::: a) ': xs) ((sy ::: b) ': ys)
}}}
results in
{{{
Illegal instance declaration for [...]
Multiple uses of this instance may be inconsistent
with the functional dependencies of the class
}}}
The guess is that the FunDep Checker chokes on [*], as that error message
doesn't make sense in this context.
What I'm trying to do is to express "xs is ys and ys is xs with a and b
interchanged at sy", all in a single predicate because my current type
family implementation needs two and explodes the inferred types.
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8356>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
#8170: Remove _scc_
------------------------------------+-------------------------------------
Reporter: monoidal | Owner:
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 7.6.3
Keywords: | Operating System: Unknown/Multiple
Architecture: Unknown/Multiple | Type of failure: Other
Difficulty: Unknown | Test Case:
Blocked By: | Blocking:
Related Tickets: |
------------------------------------+-------------------------------------
_scc_ is an ancient way of writing {-# SCC #-} pragmas. The old pragmas
were discouraged in 2001
([http://www.haskell.org/ghc/docs/5.00/set/release-5-00.html GHC 5.0]) and
officialy deprecated in 2007
([http://www.haskell.org/ghc/docs/6.8.3/html/users_guide/release-6-8-1.html
GHC 6.8]). I downloaded the archive of the latest versions of packages in
Hackage; there are over 1000 occurrences of {-# SCC #-} and 0 occurrences
of _scc_.
Patch attached.
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8170>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
#8139: ghc 7.6.3 fails to build on OS X 10.9
----------------------------------+-------------------------------------
Reporter: darinmorrison | Owner:
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 7.6.3
Keywords: | Operating System: Unknown/Multiple
Architecture: x86_64 (amd64) | Type of failure: None/Unknown
Difficulty: Unknown | Test Case:
Blocked By: | Blocking:
Related Tickets: |
----------------------------------+-------------------------------------
ghc 7.6.3 does not compile on OS X 10.9 (as of DP5).
There are a few issues that seem to be causing this:
1) gcc is no longer available and the clang compatibility patches of
http://ghc.haskell.org/trac/ghc/ticket/7678 are not included in 7.6.3.
2) There is some sort of bug that causes mkdirhier.sh to fail in some
cases.
3) There is another bug when compiling RtsProbes.d with DTrace. The
problem seems to be triggered by the inclusion of stdint.h. #undef-ing
HAVE_STDINT_H only for the compilation of RtsProbes.d (which then includes
inttypes.h instead) seems to work for some reason. A better solution may
be possible from someone who understands the DTrace machinery better.
The issue has has been discussed here:
https://github.com/mxcl/homebrew/issues/20546
I have come up with a tentative patch that fixes problems (2) and (3) here
(and also pasted below):
https://github.com/darinmorrison/homebrew/commit/611c76f6d6701c482559a64fe2…
{{{
diff --git a/includes/HsFFI.h b/includes/HsFFI.h
index dceabab..bc5e423 100644
--- a/includes/HsFFI.h
+++ b/includes/HsFFI.h
@@ -21,7 +21,7 @@ extern "C" {
#include "stg/Types.h"
/* get limits for integral types */
-#ifdef HAVE_STDINT_H
+#if defined HAVE_STDINT_H && !defined RTS_PROBES_D
/* ISO C 99 says:
* "C++ implementations should define these macros only when
* __STDC_LIMIT_MACROS is defined before <stdint.h> is included."
diff --git a/rts/RtsProbes.d b/rts/RtsProbes.d
index 40665ac..8963ca7 100644
--- a/rts/RtsProbes.d
+++ b/rts/RtsProbes.d
@@ -6,6 +6,8 @@
*
*
---------------------------------------------------------------------------*/
+#define RTS_PROBES_D
+
#include "HsFFI.h"
#include "rts/EventLogFormat.h"
diff --git a/utils/mkdirhier/mkdirhier.sh b/utils/mkdirhier/mkdirhier.sh
index 4c5d5f7..80762f4 100644
--- a/utils/mkdirhier/mkdirhier.sh
+++ b/utils/mkdirhier/mkdirhier.sh
@@ -1,4 +1,4 @@
#!/bin/sh
-mkdir -p ${1+"$@"}
+mkdir -p ${1+"./$@"}
}}}
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8139>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
