#7528: Non terminating thunk resolution blocks world, even in the case of forkOS
+---
Reporter: timthelion | Owner:
Type: bug |
#7529: Crash when using (-) instead of (=) in a typeclass instance
---+
Reporter: Helkafen| Owner:
Type: bug | Status: new
Priority: normal
#7530: Proposal: Add isLeft/isRight to Data.Either
-+--
Reporter: SimonHengel | Owner:
Type: bug | Status: new
Priority: normal|
#7530: Proposal: Add isLeft/isRight to Data.Either
-+--
Reporter: SimonHengel | Owner:
Type: feature request | Status: new
Priority: normal|
#7529: Crash when using (-) instead of (=) in a typeclass instance
-+--
Reporter: Helkafen |Owner:
Type: bug | Status: closed
Priority: normal|
#7531: after manualy installing array-0.4.0.1
-+--
Reporter: guest | Owner:
Type: bug | Status: new
Priority: normal| Component: Package
#7528: Non terminating thunk resolution blocks world, even in the case of forkOS
+---
Reporter: timthelion | Owner:
Type: bug |
#7528: Non terminating thunk resolution blocks world, even in the case of forkOS
+---
Reporter: timthelion | Owner:
Type: bug |
I ran into a simple falure with functional dependencies (in GHC 7.4.1):
class Foo a ta | a - ta
foo :: (Foo a ta, Foo a tb, Eq ta) = ta - tb - Bool
foo = (==)
I expected that the `a - ta` functional dependency would suffice to prove
that `ta ~ tb`, but
Pixie/Bug1.hs:9:7:
Could
Hello Conal,
GHC implementation of functional dependencies is incomplete: it will use
functional dependencies during type inference (i.e., to determine the
values of free type variables), but it will not use them in proofs, which
is what is needed in examples like the one you posted. The reason
#4363: openFile sharing permissions are inconsistent across platforms
--+-
Reporter: jystic | Owner:
Type: bug | Status: closed
11 matches
Mail list logo
