#5012: haskell 98 program does not typecheck when compiled with -XTypeFamilies
-+--
Reporter: jcpetruzza| Owner:
Type: bug | Status: new
#5012: haskell 98 program does not typecheck when compiled with -XTypeFamilies
---+
Reporter: jcpetruzza | Owner:
Type: bug| Status
#5012: haskell 98 program does not typecheck when compiled with -XTypeFamilies
+---
Reporter: jcpetruzza | Owner:
Type: bug| Status: closed
#5012: haskell 98 program does not typecheck when compiled with -XTypeFamilies
+---
Reporter: jcpetruzza | Owner:
Type: bug| Status: closed
#4399: Infinite loop when compiling Haskell '98 code
-+--
Reporter: sjoerd_visscher | Owner:
Type: bug | Status: closed
Priority: normal
#4399: Infinite loop when compiling Haskell '98 code
-+--
Reporter: sjoerd_visscher | Owner:
Type: bug | Status: closed
Priority: normal
#4399: Infinite loop when compiling Haskell '98 code
-+--
Reporter: sjoerd_visscher | Owner:
Type: bug | Status: closed
Priority: normal
#4399: Infinite loop when compiling Haskell '98 code
-+--
Reporter: sjoerd_visscher | Owner:
Type: bug | Status: new
Priority: normal
#4399: Infinite loop when compiling Haskell '98 code
+---
Reporter: sjoerd_visscher | Owner:
Type: bug | Status: closed
Priority: normal
#3766: Parsing of lambdas is not consistent with Haskell'98 report.
--+-
Reporter: lilac |Owner:
Type: bug| Status: new
#3766: Parsing of lambdas is not consistent with Haskell'98 report.
-+--
Reporter: lilac | Owner:
Type: bug | Status: new
#3766: Parsing of lambdas is not consistent with Haskell'98 report.
--+-
Reporter: lilac | Owner:
Type: bug| Status: new
#3766: Parsing of lambdas is not consistent with Haskell'98 report.
--+-
Reporter: lilac | Owner:
Type: bug| Status: new
#3766: Parsing of lambdas is not consistent with Haskell'98 report.
--+-
Reporter: lilac | Owner:
Type: bug| Status: new
#3014: Any type being derived in Haskell 98 module
+---
Reporter: fasta|Owner:
Type: bug | Status: closed
Priority: normal
#2746: Documentation for Haskell 98 modules is empty
-+--
Reporter: simonmar |Owner:
Type: bug | Status: closed
Priority: high
#3014: Any type being derived in Haskell 98 module
-+--
Reporter: fasta | Owner:
Type: bug | Status: new
Priority: normal
#3014: Any type being derived in Haskell 98 module
-+--
Reporter: fasta| Owner:
Type: bug | Status: new
Priority: normal
#2746: Documentation for Haskell 98 modules is empty
-+--
Reporter: simonmar |Owner:
Type: bug | Status: new
Priority: high
#2746: Documentation for Haskell 98 modules is empty
-+--
Reporter: simonmar |Owner:
Type: bug | Status: new
Priority: high
#2746: Documentation for Haskell 98 modules is empty
-+--
Reporter: simonmar |Owner:
Type: bug | Status: new
Priority: high
#2746: Documentation for Haskell 98 modules is empty
-+--
Reporter: simonmar |Owner:
Type: bug | Status: new
Priority: high
#2746: Documentation for Haskell 98 modules is empty
-+--
Reporter: simonmar |Owner:
Type: bug | Status: new
Priority: high
#2746: Documentation for Haskell 98 modules is empty
-+--
Reporter: simonmar | Owner:
Type: bug | Status: new
Priority: high
#2735: ghc panic with Haskell 98 program (applyTypeToArgs?)
--+-
Reporter: int-e | Owner: simonpj
Type: bug | Status: new
Priority: normal
#2735: ghc panic with Haskell 98 program (applyTypeToArgs?)
--+-
Reporter: int-e | Owner: simonpj
Type: bug | Status: closed
Priority: normal
#2735: ghc panic with Haskell 98 program (applyTypeToArgs?)
-+--
Reporter: int-e | Owner:
Type: bug | Status: new
Priority: normal
#1171: GHC generates incorrect code with -O for Haskell 98 program
--+-
Reporter: neil | Owner:
Type: bug | Status: closed
Priority: normal| Milestone: 6.6.1
#1171: GHC generates incorrect code with -O for Haskell 98 program
--+-
Reporter: neil | Owner:
Type: bug | Status: reopened
Priority: low | Milestone
#1171: GHC generates incorrect code with -O for Haskell 98 program
--+-
Reporter: neil | Owner:
Type: bug | Status: new
Priority: normal| Milestone: 6.6.1
#1171: GHC generates incorrect code with -O for Haskell 98 program
-+--
Reporter: neil | Owner:
Type: bug | Status: new
Priority: normal| Milestone
| The report says The expression F {}, where F is a data constructor,
is
| legal whether or not F was declared with record syntax, provided F has
no
| strict fields: it denotes F _|_1 ... _|_n where n is the arity of F.
|
| It unclear to me why there needs to be this provision for records with
On Wed, Sep 25, 2002 at 12:34:53PM +0100, Simon Peyton-Jones wrote:
I spoke too soon. Consider
data F = F Int !Int
data S = S { x::Int, y::!Int }
According to the words above
F {} is illegal
but what about this one?
S {}
I think the sentence in question (end of 3.15.2)
| I think the sentence in question (end of 3.15.2) is just a
clarification;
| the preceding 4 rules are sufficient and clear: F{}, S{} and S{x=3}
are
| all illegal because they omit a value for a strict field. That is,
it's
| correct, though not strictly necessary, nor does it cover all the
Blargh. Excellent point. I had totally forgotten that. I withdraw all
suggested changes except a cross-ref to the section you mention. Sigh.
My brain is getting soft.
Actually the rules referenced appear immediately above, so no reference is
necessary.
My original message was not
on
upgrading Green Card to work for Haskell 98? Of course it
would be easy to hack it myself, but I'd very much rather be
able to use an official version. I would like to be able to
use Green Card with both GHC 4.02 and Hugs 98.
36 matches
Mail list logo
