Re: [GHC] #779: small bugs in Language.Haskell.TH.Ppr.pprint
#779: small bugs in Language.Haskell.TH.Ppr.pprint +--- Reporter: [EMAIL PROTECTED] | Owner: Type: bug| Status: closed Priority: normal | Milestone: 6.4.2 Component: Template Haskell |Version: 6.5 Severity: minor | Resolution: fixed Keywords: | Os: Multiple Difficulty: Easy (1 hr)| Architecture: Multiple +--- Changes (by [EMAIL PROTECTED]): * resolution: = fixed * status: new = closed Comment: I have just fixed a stupid bug in my patch and executed darcs send. (Well, I guess I didn't understand this bug tracking system.) -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/779 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
One-character bug in time library
Hi, File package.conf.in (darcs GHC HEAD) contains the following line: hs-libraries: HSTime This should be of course hs-libraries: HSTime V.Rudenko -- λ is the ultimate ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: One-character bug in time library
Sorry ;) On 6/5/06, wld [EMAIL PROTECTED] wrote: Hi, File package.conf.in (darcs GHC HEAD) contains the following line: hs-libraries: HSTime This should be of course hs-libraries: HSTime Certainly, hs-libraries: HStime ^ V.Rudenko -- λ is the ultimate ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #785: Allow partial application of type synonyms
#785: Allow partial application of type synonyms
+---
Reporter: [EMAIL PROTECTED] | Owner:
Type: feature request| Status: new
Priority: low| Milestone:
Component: Compiler |Version: 6.4.2
Severity: normal | Resolution:
Keywords: | Os: Unknown
Difficulty: Unknown| Architecture: Unknown
+---
Changes (by simonpj):
* priority: normal = low
* summary: partial application of type function = Allow partial
application of type synonyms
Comment:
The error message is:
{{{
kinds.hs:5:0:
Type synonym `IOUArray' should have 2 arguments, but has been given 0
In the type synonym declaration for `DynamicIOUArray'
}}}
and that's an absolutely correct error message according to the Haskell
language design.
Adding fully fledged lambdas at the type level means adding higher-order
unification, which is a huge can of worms. I don't think we are likely to
implement this any time soon; mainly because it's not at clear what the
design would be, and how it would interact with type inference.
Meanwhile I bet Oleg has ideas for how to code up what you want in Haskell
as it is.
--
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/785
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] #784: defining type of returned value
#784: defining type of returned value
+---
Reporter: [EMAIL PROTECTED] | Owner:
Type: bug| Status: new
Priority: low| Milestone:
Component: Compiler |Version: 6.4.2
Severity: normal | Resolution:
Keywords: | Os: Unknown
Difficulty: Unknown| Architecture: Unknown
+---
Changes (by simonpj):
* priority: normal = low
Comment:
I know what is going on here. The key code is:
{{{
foo :: IO (ForeignPtr a) = undefined
baz :: IO (ForeignPtr a)
baz = undefined
}}}
Here, the binding of {{{foo}}} is supposed to bind {{{a}}}, while the type
sig on {{{baz}}} uses {{{a}}}. Unfortunately, the dependency analyser
isn't taking scoped type variables into account, which is clearly a bug.
The exact setup for scoped type variables is under review, so I'm
reluctant to invest effort in fixing this (it's not entirely trivial). So
for now I'm going to leave it as an open bug with low priority.
Workaround: don't use a pattern binding that binds a scoped type variable.
My bet s that you didn't intend that in the first place.
Simon
--
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/784
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] #777: Typos in user guide example
#777: Typos in user guide example +--- Reporter: guest | Owner: Type: bug| Status: closed Priority: normal | Milestone: Component: Documentation |Version: 6.5 Severity: normal | Resolution: fixed Keywords: | Os: Unknown Difficulty: Easy (1 hr)| Architecture: Unknown +--- Changes (by simonpj): * resolution: = fixed * status: new = closed Comment: Good point. Now fixed, thank you. Simon -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/777 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] #788: Class aliases (as proposaed by John Meacham)
#788: Class aliases (as proposaed by John Meacham) +--- Reporter: simonpj |Owner: Type: feature request | Status: new Priority: normal |Milestone: Component: Compiler | Version: Severity: normal | Keywords: Os: Unknown | Difficulty: Unknown Architecture: Unknown | +--- This ticket just records John Meacham's intriguing: [http://repetae.net/john/recent/out/classalias.html class alias proposal] -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/788 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
