projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
[project @ 2006-01-18 12:16:06 by simonpj]
[ghc-hetmet.git]
/
ghc
/
compiler
/
parser
/
RdrHsSyn.lhs
diff --git
a/ghc/compiler/parser/RdrHsSyn.lhs
b/ghc/compiler/parser/RdrHsSyn.lhs
index
6ff15e7
..
a955791
100644
(file)
--- a/
ghc/compiler/parser/RdrHsSyn.lhs
+++ b/
ghc/compiler/parser/RdrHsSyn.lhs
@@
-601,9
+601,11
@@
checkValSig
:: LHsExpr RdrName
-> LHsType RdrName
-> P (Sig RdrName)
:: LHsExpr RdrName
-> LHsType RdrName
-> P (Sig RdrName)
-checkValSig (L l (HsVar v)) ty | isUnqual v = return (TypeSig (L l v) ty)
+checkValSig (L l (HsVar v)) ty
+ | isUnqual v && not (isDataOcc (rdrNameOcc v))
+ = return (TypeSig (L l v) ty)
checkValSig (L l other) ty
checkValSig (L l other) ty
- = parseError l "Type signature given for an expression"
+ = parseError l "Invalid type signature"
mkGadtDecl
:: Located RdrName
mkGadtDecl
:: Located RdrName