#7384: Panic ctEvTerm when using functional dependencies and PolyKinds
-+--
Reporter: goldfire| Owner:
Type: bug
#7384: Panic ctEvTerm when using functional dependencies and PolyKinds
--+-
Reporter: goldfire | Owner:
Type: bug | Status: new
#7384: Panic ctEvTerm when using functional dependencies and PolyKinds
--+-
Reporter: goldfire | Owner:
Type: bug | Status: new
#7384: Panic ctEvTerm when using functional dependencies and PolyKinds
-+--
Reporter: goldfire | Owner:
Type: bug
#7384: Panic ctEvTerm when using functional dependencies and PolyKinds
--+-
Reporter: goldfire | Owner:
Type: bug | Status: new
#6134: Incorrect ambiguity error with functional dependencies
-+--
Reporter: diatchki| Owner:
Type: bug | Status: closed
#6134: Incorrect ambiguity error with functional dependencies
+---
Reporter: diatchki | Owner:
Type: bug | Status: new
#6134: Incorrect ambiguity error with functional dependencies
---+
Reporter: diatchki | Owner:
Type: bug| Status: new
#6068: Panic in GHCi when using functional dependencies and promoted kinds
--+-
Reporter: goldfire | Owner:
Type: bug | Status: new
Priority
#6068: Panic in GHCi when using functional dependencies and promoted kinds
--+-
Reporter: goldfire | Owner:
Type: bug | Status: new
Priority
#3108: Do a better job of solving recursive type-class constraints with
functional
dependencies
+---
Reporter: simonpj | Owner:
Type: bug
#3108: Do a better job of solving recursive type-class constraints with
functional
dependencies
+---
Reporter: simonpj| Owner:
Type: bug
#3108: Do a better job of solving recursive type-class constraints with
functional
dependencies
+---
Reporter: simonpj | Owner:
Type: bug
#3108: Do a better job of solving recursive type-class constraints with
functional
dependencies
+---
Reporter: simonpj | Owner:
Type: bug
#5736: Possible regression with functional dependencies
--+-
Reporter: magnus | Owner:
Type: bug | Status: closed
Priority
#5736: Possible regression with functional dependencies
--+-
Reporter: magnus| Owner:
Type: bug | Status: new
Priority: normal
#5736: Possible regression with functional dependencies
--+-
Reporter: magnus | Owner:
Type: bug | Status: closed
Priority
#5236: Circular functional dependencies cause loop in typechecker
--+-
Reporter: dimitris | Owner:
Type: bug | Status: closed
#5236: Circular functional dependencies cause loop in typechecker
-+--
Reporter: dimitris | Owner:
Type: bug | Status: new
#4401: Functional dependencies regression
---+
Reporter: rl| Owner: simonpj
Type: bug | Status: closed
Priority: highest | Milestone: 7.0.1
#4401: Functional dependencies regression
---+
Reporter: rl| Owner: simonpj
Type: bug | Status: merge
Priority: highest | Milestone: 7.0.1
#4401: Functional dependencies regression
---+
Reporter: rl| Owner: simonpj
Type: bug | Status: closed
Priority: highest | Milestone: 7.0.1
#4418: Superclass functional dependencies are ignored during instance selection
-+--
Reporter: reinerp | Owner:
Type: bug
#4401: Functional dependencies regression
---+
Reporter: rl| Owner: simonpj
Type: bug | Status: closed
Priority: highest | Milestone: 7.0.1
#4401: Functional dependencies regression
---+
Reporter: rl| Owner: simonpj
Type: bug | Status: closed
Priority: highest | Milestone: 7.0.1
#4418: Superclass functional dependencies are ignored during instance selection
+---
Reporter: reinerp |Owner:
Type: bug
#4418: Superclass functional dependencies are ignored during instance selection
+---
Reporter: reinerp |Owner:
Type: bug
#4401: Functional dependencies regression
---+
Reporter: rl| Owner: simonpj
Type: bug | Status: closed
Priority: highest | Milestone: 7.0.1
#4418: Superclass functional dependencies are ignored during instance selection
-+--
Reporter: reinerp | Owner:
Type: bug | Status: new
#4401: Functional dependencies regression
-+--
Reporter: rl|Owner: simonpj
Type: bug | Status: new
Priority: highest |Milestone
#4401: Functional dependencies regression
-+--
Reporter: rl| Owner:
Type: bug | Status: new
Priority: normal| Component
#4401: Functional dependencies regression
-+--
Reporter: rl|Owner: simonpj
Type: bug | Status: new
Priority: highest |Milestone
#2296: Functional dependencies error message has no position information
---+
Reporter: NeilMitchell | Owner: simonpj
Type: bug | Status: closed
Priority: high
#2296: Functional dependencies error message has no position information
-+--
Reporter: NeilMitchell |Owner: simonpj
Type: bug | Status: new
Priority: high
#2296: Functional dependencies error message has no position information
-+--
Reporter: NeilMitchell |Owner:
Type: bug | Status: new
Priority: high
#2296: Functional dependencies error message has no position information
-+--
Reporter: NeilMitchell |Owner:
Type: bug | Status: new
Priority: high
#2296: Functional dependencies error message has no position information
-+--
Reporter: NeilMitchell |Owner:
Type: bug | Status: new
Priority: high
#714: Inconsistency between handling functional dependencies in class and
signature constraints
+---
Reporter: claus.rei...@talk21.com |Owner: simonpj
Type: bug
#2296: Functional dependencies error message has no position information
-+--
Reporter: NeilMitchell |Owner:
Type: bug | Status: new
Priority
#3108: Do a better job of solving recursive type-class constraints with
functional
dependencies
--+-
Reporter: simonpj | Owner:
Type: bug
#714: Inconsistency between handling functional dependencies in class and
signature constraints
-+--
Reporter: [EMAIL PROTECTED] | Owner: simonpj
Type: bug | Status: new
#714: Inconsistency between handling functional dependencies in class and
signature constraints
-+--
Reporter: [EMAIL PROTECTED] | Owner: simonpj
Type: bug | Status: new
#714: Inconsistency between handling functional dependencies in class and
signature constraints
-+--
Reporter: [EMAIL PROTECTED] | Owner: simonpj
Type: bug | Status: new
#714: Inconsistency between handling functional dependencies in class and
signature constraints
-+--
Reporter: [EMAIL PROTECTED] | Owner: simonpj
Type: bug | Status
#714: Inconsistency between handling functional dependencies in class and
signature constraints
-+--
Reporter: [EMAIL PROTECTED] | Owner: simonpj
Type: bug | Status: new
#2307: Poor warning for conflicting functional dependencies
+---
Reporter: NeilMitchell| Owner:
Type: bug | Status: closed
#2307: Poor warning for conflicting functional dependencies
-+--
Reporter: NeilMitchell | Owner:
Type: bug | Status: reopened
Priority: normal
#2307: Poor warning for conflicting functional dependencies
-+--
Reporter: NeilMitchell | Owner:
Type: bug | Status: reopened
Priority: normal
#2307: Poor warning for conflicting functional dependencies
--+-
Reporter: NeilMitchell | Owner:
Type: bug | Status: new
Priority: normal| Milestone
#2307: Poor warning for conflicting functional dependencies
-+--
Reporter: NeilMitchell | Owner:
Type: bug | Status: closed
Priority
#2307: Poor warning for conflicting functional dependencies
-+--
Reporter: NeilMitchell | Owner:
Type: bug | Status: reopened
Priority: normal
#2296: Functional dependencies error message has no position information
--+-
Reporter: NeilMitchell | Owner:
Type: bug | Status: new
Priority: normal
#2307: Poor warning for conflicting functional dependencies
-+--
Reporter: NeilMitchell | Owner:
Type: bug | Status: new
Priority: normal| Component: Compiler
#2296: Functional dependencies error message has no position information
-+--
Reporter: NeilMitchell | Owner:
Type: bug | Status: new
Priority: normal
#2296: Functional dependencies error message has no position information
-+--
Reporter: NeilMitchell |Owner:
Type: bug | Status: new
Priority: normal
#714: Inconsistency between handling functional dependencies in class and
signature constraints
-+--
Reporter: [EMAIL PROTECTED] | Owner: simonpj
Type: bug | Status: new
#714: Inconsistency between handling functional dependencies in class and
signature constraints
-+--
Reporter: [EMAIL PROTECTED] | Owner: simonpj
Type: bug | Status: new
#714: Inconsistency between handling functional dependencies in class and
signature constraints
-+--
Reporter: [EMAIL PROTECTED] | Owner: simonpj
Type: bug | Status: new
#1241: Functional dependencies not checked.
-+--
Reporter: guest| Owner:
Type: bug | Status: new
Priority: normal
#1241: Functional dependencies not checked.
-+--
Reporter: guest| Owner:
Type: bug | Status: new
Priority: normal
#1241: Functional dependencies not checked.
-+--
Reporter: guest| Owner:
Type: bug | Status: new
Priority: normal
#1241: Functional dependencies not checked.
-+--
Reporter: guest| Owner:
Type: bug | Status: new
Priority: normal
#1241: Functional dependencies not checked.
-+--
Reporter: guest| Owner:
Type: bug | Status: new
Priority: normal
#1241: Functional dependencies not checked.
-+--
Reporter: guest| Owner:
Type: bug | Status: new
Priority: normal
#1241: Functional dependencies not checked.
-+--
Reporter: guest| Owner:
Type: bug | Status: new
Priority: normal
#1241: Functional dependencies not checked.
+---
Reporter: guest| Owner:
Type: bug | Status: new
Priority: normal
OK, the problem here is that GHC 4.08 doesn't support functional
dependencies. I've just finished making GHC support them, but
it won't be in 4.08 (ever). It'll be in GHCi 5.0.
Sorry about that!
(4.08.2 will complain about fundeps rather than just going wrong.)
Simon
| -Original Message
with functional
dependencies?
I'm trying to port the attached program from Hugs to GHC, and
don't understand the error message I get.
I'm running a freshly installed GHC under a Swedish version of Windows 98
(however, I reproduced the behaviour under Unix at Chalmers today).
uname -a says
=
- do a-at 1
+ do a-at
orBDD t a a
- where at i = varBDD t 0
+ where at = varBDD t 0
it compiles, but GHC emits:
zonkIdOcc: FunDep_aMr
zonkIdOcc: FunDep_aMr
This leads to Imperative.hi, in which you are using Functional
Dependencies, obviously. While I don't know jack about them, I
it. If I understand functional
dependencies, they should be legal. With a concrete monad fundeps work.
class Reference r m | m - r where
new :: a - m (r a)
put :: r a - a - m ()
get :: r a - m a
test:: (Monad m, Reference r m) = m Int
test = do
x - new 42
get x
(I don't need it n
=", where Hugs still accepts it. If I understand functional
dependencies, they should be legal. With a concrete monad fundeps work.
class Reference r m | m - r where
new :: a - m (r a)
put :: r a - a - m ()
get :: r a - m a
test:: (Monad m, Reference r m) = m Int
test
71 matches
Mail list logo
