Re: [GHC] #959: Debugging info(?) leaks out: Urk! Inventing strangely-kinded void TyCon
#959: Debugging info(?) leaks out: Urk! Inventing strangely-kinded void TyCon +--- Reporter: igloo|Owner: Type: bug | Status: closed Priority: normal |Milestone: _|_ Component: Compiler (Type checker) | Version: 6.6 Severity: minor| Resolution: fixed Keywords: | Difficulty: Unknown Testcase: tcfail188| Os: Unknown/Multiple Architecture: Unknown/Multiple | +--- Comment (by benl): Looks ok to me. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/959#comment:13 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #959: Debugging info(?) leaks out: Urk! Inventing strangely-kinded void TyCon
#959: Debugging info(?) leaks out: Urk! Inventing strangely-kinded void TyCon +--- Reporter: igloo|Owner: Type: bug | Status: closed Priority: normal |Milestone: _|_ Component: Compiler (Type checker) | Version: 6.6 Severity: minor| Resolution: fixed Keywords: | Difficulty: Unknown Testcase: tcfail188| Os: Unknown/Multiple Architecture: Unknown/Multiple | +--- Changes (by guest): * cc: kfr...@gmail.com (added) -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/959#comment:12 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #959: Debugging info(?) leaks out: Urk! Inventing strangely-kinded void TyCon
#959: Debugging info(?) leaks out: Urk! Inventing strangely-kinded void TyCon +--- Reporter: igloo|Owner: Type: bug | Status: new Priority: normal |Milestone: _|_ Component: Compiler (Type checker) | Version: 6.6 Severity: minor| Resolution: Keywords: | Difficulty: Unknown Testcase: tcfail188| Os: Unknown/Multiple Architecture: Unknown/Multiple | +--- Comment (by ganesh): I have encountered this in darcs when trying to make our phantom types be of some complicated (and arbitrarily chosen) kind to minimise the risk of them being instantiated with a real type (which would then lead to a risk of unsafeCoerce happening on those real types due to other aspects of the way we use phantom types). -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/959#comment:10 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #959: Debugging info(?) leaks out: Urk! Inventing strangely-kinded void TyCon
#959: Debugging info(?) leaks out: Urk! Inventing strangely-kinded void TyCon
-+--
Reporter: igloo| Owner:
Type: bug | Status: new
Priority: normal | Milestone: _|_
Component: Compiler (Type checker) |Version: 6.6
Severity: minor| Resolution:
Keywords: | Difficulty: Unknown
Testcase: tcfail188| Architecture: Unknown
Os: Unknown |
-+--
Comment (by magnushiie):
A real-world example of the same error:
{{{
-- Specifying -fno-monomorphism-restriction removes the error
--{-# OPTIONS_GHC -fno-monomorphism-restriction #-}
module ParsecWrap where
import Control.Monad.Trans
import qualified Text.ParserCombinators.Parsec as P
-- these work without type signature
many1 f = lift $ P.many1 f
oneOf cs = lift $ P.oneOf cs
{-
:t many1
many1 :: (MonadTrans t) =
P.GenParser tok st a - t (P.GenParser tok st) [a]
:t oneOf
oneOf :: (MonadTrans t) = [Char] - t (P.GenParser Char st) Char
-}
--anyChar :: MonadTrans t = t (P.GenParser Char st) Char
anyChar = lift $ P.anyChar
{-
Without type signature on anyChar, gives:
Urk! Inventing strangely-kinded void TyCon:
:t{tc a1vc}
(* - *) - * - *
D:\Dev\Test\ParseCpp\src\ParsecWrap.hs:30:10:
Ambiguous type variable `t' in the constraint:
`MonadTrans t'
arising from use of `lift'
at D:\Dev\Test\ParseCpp\src\ParsecWrap.hs:30:10-13
Possible cause: the monomorphism restriction applied to the following:
anyChar :: forall st. t (P.GenParser Char st) Char
(bound at D:\Dev\Test\ParseCpp\src\ParsecWrap.hs:30:0)
Probable fix: give these definition(s) an explicit type signature
or use -fno-monomorphism-restriction
Failed, modules loaded: none.
-}
}}}
--
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/959#comment:7
GHC http://www.haskell.org/ghc/
The Glasgow Haskell Compiler___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #959: Debugging info(?) leaks out: Urk! Inventing strangely-kinded void TyCon
#959: Debugging info(?) leaks out: Urk! Inventing strangely-kinded void TyCon
-+--
Reporter: igloo| Owner: igloo
Type: merge| Status: new
Priority: normal | Milestone: 6.8.2
Component: Compiler (Type checker) |Version: 6.6
Severity: minor| Resolution:
Keywords: | Difficulty: Unknown
Testcase: tcfail188| Architecture: Unknown
Os: Unknown |
-+--
Changes (by simonpj):
* testcase: = tcfail188
* owner: simonpj = igloo
* type: bug = merge
Comment:
OK, I have
* turned the trace into a civilised warning
* added a tiny bit of advice about how to suppress the warning (add a
type signature)
* given a reference to this page
* added a test case
None of this is the Real Fix, which is to provide a way to robustly export
strangely-kinded Any !TyCons across interface files. But that's a bigger
job, and I'm still unconvinced it's worth doing.
'''If you trip over the new warning in a real program, and have thereby
found your way to this page, please add a comment to say so. Better
still, please upload a small example, so we can gather evidence about how
important this is.'''
Ian: merge to the 6.8 branch; then change milestone to _|_, and type to
'Bug'
{{{
Mon Nov 19 12:29:38 GMT 2007 [EMAIL PROTECTED]
* Improve the situation for Trac #959: civilised warning
instead of a trace msg
}}}
--
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/959#comment:5
GHC http://www.haskell.org/ghc/
The Glasgow Haskell Compiler___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #959: Debugging info(?) leaks out: Urk! Inventing strangely-kinded void TyCon
#959: Debugging info(?) leaks out: Urk! Inventing strangely-kinded void TyCon -+-- Reporter: igloo| Owner: simonpj Type: bug | Status: new Priority: normal | Milestone: 6.8.2 Component: Compiler (Type checker) |Version: 6.6 Severity: minor| Resolution: Keywords: | Difficulty: Unknown Testcase: | Architecture: Unknown Os: Unknown | -+-- Changes (by simonmar): * owner: = simonpj * milestone: 6.8 branch = 6.8.2 Comment: confirmed in 6.8.1. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/959#comment:4 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #959: Debugging info(?) leaks out: Urk! Inventing strangely-kinded void TyCon
#959: Debugging info(?) leaks out: Urk! Inventing strangely-kinded void TyCon +--- Reporter: igloo|Owner: Type: bug | Status: new Priority: normal |Milestone: 6.8 branch Component: Compiler (Type checker) | Version: 6.6 Severity: minor| Resolution: Keywords: | Difficulty: Unknown Os: Unknown | Testcase: Architecture: Unknown | +--- Changes (by igloo): * milestone: _|_ = 6.8 branch * priority: lowest = normal Comment: Andres ran into this in a real program, so I'm reclassifying it. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/959 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #959: Debugging info(?) leaks out: Urk! Inventing strangely-kinded void TyCon
#959: Debugging info(?) leaks out: Urk! Inventing strangely-kinded void TyCon
+---
Reporter: igloo|Owner:
Type: bug | Status: new
Priority: lowest |Milestone: _|_
Component: Compiler (Type checker) | Version: 6.6
Severity: minor| Resolution:
Keywords: | Difficulty: Unknown
Os: Unknown | Testcase:
Architecture: Unknown |
+---
Comment (by guest):
Here's a program that provokes the message (in 6.6.1), but otherwise
passes the typechecker:
{{{
{-# OPTIONS_GHC -fglasgow-exts #-}
data D (f :: (* - *) - * - *) (af :: * - *) (ax :: *) =
D (af (f af ax))
data CList (f :: (* - *) - * - *) (a :: *) =
RCons a (CList (D f) a)
type CycleList a = forall f. CList f a
chead :: CycleList a - a
chead ys = case ys of (RCons x xs) - x
}}}
Andres
--
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/959
GHC http://www.haskell.org/ghc/
The Glasgow Haskell Compiler___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #959: Debugging info(?) leaks out: Urk! Inventing strangely-kinded void TyCon
#959: Debugging info(?) leaks out: Urk! Inventing strangely-kinded void TyCon -+-- Reporter: igloo| Owner: Type: bug | Status: new Priority: lowest | Milestone: _|_ Component: Compiler (Type checker) |Version: 6.6 Severity: minor| Resolution: Keywords: | Difficulty: Unknown Testcase: | Architecture: Unknown Os: Unknown | -+-- Comment (by seekgzl): [http://www.makegamegold.com World Of Warcraftwow gold][http://www.makegamegold.com/default.asp?cateid=6 wow gold][http://www.makegamegold.com/default.asp?cateid=6 gold wow ][http://www.makegamegold.com/default.asp?cateID=11 aids][http://www.makegamegold.com/default.html wow gold sale][http://www.makegamegold.com/default.asp?cateID=5 cheap hotel][http://www.makegamegold.com/default.asp?cateID=13 health services][http://www.makegamegold.com/article.asp?id=547 coins and edals][http://www.makegamegold.com/article.asp?id=512 bar code ccd][http://www.makegamegold.com/article.asp?id=511 skannerz bar codes] [http://www.makegamegold.com/article.asp?id=510 wireless bar code reader][http://www.makegamegold.com/article.asp?id=509 buy bar code][http://www.makegamegold.com/article.asp?id=508 bar code scanning system][http://www.makegamegold.com/article.asp?id=507 sap bar code][http://www.makegamegold.com/article.asp?id=506 which barcode scanner should i buy?] [http://www.makegamegold.com/article.asp?id=262 Aristo Halifax][http://www.makegamegold.com/article.asp?id=108 god of war unlockable videos A Secret Revealed][http://www.makegamegold.com/article.asp?id=262 discounts furniture][http://www.makegamegold.com/default.asp?id=318 walleye worm harness][http://www.makegamegold.com/article.asp?id=108 gold of war cheats][http://www.makegamegold.com/article.asp?id=99 world warcraft power leveling][http://www.makegamegold.com/article.asp?id=122 wrought iron stair railings][http://www.makegamegold.com/default.asp?page=20 Valerie confections][http://www.makegamegold.com/article.asp?id=249 more than words lyrics][http://www.makegamegold.com/default.asp?cateid=12 study abroad][http://www.makegamegold.com/article.asp?id=376 superman tattoo][http://www.makegamegold.com/article.asp?id=100 wow power leveling][http://www.makegamegold.com/article.asp?id=120 rod iron wall decor][http://www.makegamegold.com/article.asp?id=90 buy wow gold ][http://www.makegamegold.com/article.asp?id=122 staircase iron][http://www.makegamegold.com/article.asp?id=375 Star Tattoos][http://www.makegamegold.com/article.asp?id=376 superman tribal tattoo][http://www.makegamegold.com/article.asp?id=264 Huge Bedding Bath Discounts ][http://www.makegamegold.com/article.asp?id=135 wow gold contrast][http://www.makegamegold.com/article.asp?id=116 iron gate in california for sale][http://www.makegamegold.com/article.asp?id=118 iron gate in california for sale][http://www.makegamegold.com/default.asp?CateID=6page=8 really cheap wow gold][http://www.makegamegold.com/article.asp?id=122 atlanta wrought iron doors][http://www.makegamegold.com/Powerleveling/Powerleveling.html wow europe Powerleveling][http://www.makegamegold.com/article.asp?id=329 computer desks][http://www.makegamegold.com/article.asp?id=90 cheap wow gold word listed][http://www.makegamegold.com/article.asp?id=122 wrought iron stair railings][http://www.makegamegold.com/article.asp?id=669 ileus][http://www.makegamegold.com/article.asp?id=116 automatic gates][http://www.makegamegold.com/article.asp?id=82 europe wow gold][http://www.makegamegold.com/article.asp?id=92 powerleveling][http://www.makegamegold.com/article.asp?id=12 cheap gold for wow][http://www.makegamegold.com/article.asp?id=81 cheap american gold coins][http://www.makegamegold.com/article.asp?id=322 california gold rush stories hangings][http://www.makegamegold.com/article.asp?id=383 Foreign stuff][http://www.makegamegold.com/article.asp?id=262 discounts furniture ][http://www.makegamegold.com/default.asp?id=175 Study Abroad in Japan ][http://www.makegamegold.com/article.asp?id=269 Call Center][http://www.makegamegold.com/article.asp?id=671 constipation ][http://www.makegamegold.com/article.asp?id=546 treadmill][http://www.makegamegold.com/article.asp?id=855 superman][http://www.makegamegold.com/article.asp?id=856 spiderman?3][http://www.makegamegold.com/article.asp?id=148 cheap car insurance company][http://www.makegamegold.com/article.asp?id=149 cheap female car insurance][http://www.makegamegold.com/article.asp?id=150 airline tickets for cheap][http://www.makegamegold.com/article.asp?id=151 cheap air tickets to
Re: [GHC] #959: Debugging info(?) leaks out: Urk! Inventing strangely-kinded void TyCon
#959: Debugging info(?) leaks out: Urk! Inventing strangely-kinded void TyCon -+-- Reporter: igloo| Owner: Type: bug | Status: new Priority: lowest | Milestone: _|_ Component: Compiler (Type checker) |Version: 6.6 Severity: minor| Resolution: Keywords: | Difficulty: Unknown Testcase: | Architecture: Unknown Os: Unknown | -+-- Changes (by simonpj): * milestone: 6.6.1 = _|_ * priority: normal = lowest * severity: normal = minor Comment: The leakage is actually deliberate. In this program there is nothing to fix 'm' in the call to 'foo', so GHC makes up a fake type constructor, of kind (*-*)-*, and uses that at the call to foo. Now the trouble is that if this fake type constructor should show up in an interface file, GHC would not recognise the type constructor when reading the interface. So I left the warning in, so that people would yell if it actually happened. This is really a bug, and I'm sure there's a way round it, but it has not occurred in a real program so far, so I've been postponing fixing it, and propose to continue to postpone. The relevant code is in `TcHsSyn.mkArbitraryType` -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/959 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
[GHC] #959: Debugging info(?) leaks out: Urk! Inventing strangely-kinded void TyCon
#959: Debugging info(?) leaks out: Urk! Inventing strangely-kinded void TyCon
+---
Reporter: igloo| Owner:
Type: bug | Status: new
Priority: normal | Milestone: 6.6.1
Component: Compiler (Type checker) | Version: 6.6
Severity: normal |Keywords:
Difficulty: Unknown |Testcase:
Architecture: Unknown | Os: Unknown
+---
With GHC 6.6, this module:
{{{
module G where
testL = foo undefined
class Foo t where
foo :: m a - t m a
}}}
leaks some debugging info(?):
{{{
Urk! Inventing strangely-kinded void TyCon:
:t{tc ae2}
(* - *) - * - *
tmp.hs:4:8:
Ambiguous type variable `t' in the constraint:
`Foo t' arising from use of `foo' at tmp.hs:4:8-20
Possible cause: the monomorphism restriction applied to the following:
testL :: forall (m :: * - *) a. t m a (bound at tmp.hs:4:0)
Probable fix: give these definition(s) an explicit type signature
or use -fno-monomorphism-restriction
}}}
I haven't managed to get this message in an acceptable program.
(found by fasta on IRC)
--
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/959
GHC http://www.haskell.org/ghc/
The Glasgow Haskell Compiler___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
