diff options
| author | Tim Chevalier <chevalier@alum.wellesley.edu> | 2008-04-16 00:03:47 +0000 |
|---|---|---|
| committer | Tim Chevalier <chevalier@alum.wellesley.edu> | 2008-04-16 00:03:47 +0000 |
| commit | 2ad4df602e5bb2cff0315b945fa3201749878c30 (patch) | |
| tree | ddfd63cd2652f355444d997e4eebd30d83fa8d6e /compiler/coreSyn | |
| parent | b3bcf51f7226678234b3c07de95ab44a75cc4820 (diff) | |
| download | haskell-2ad4df602e5bb2cff0315b945fa3201749878c30.tar.gz | |
Improve External Core syntax
Got rid of the silly '^' characters before qualified names (plus:
reverts to the original syntax; minus: makes the parser a little
hairier.)
Also, added warning in the typechecker for coercion kind mismatches
rather than considering that a type error. (see the added comment in
Check.hs for details.)
Diffstat (limited to 'compiler/coreSyn')
| -rw-r--r-- | compiler/coreSyn/PprExternalCore.lhs | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/compiler/coreSyn/PprExternalCore.lhs b/compiler/coreSyn/PprExternalCore.lhs index e46a871ca1..ffa4675243 100644 --- a/compiler/coreSyn/PprExternalCore.lhs +++ b/compiler/coreSyn/PprExternalCore.lhs @@ -82,10 +82,7 @@ pname id = text (zEncodeString id) pqname :: Qual Id -> Doc pqname ("",id) = pname id --- We print out a special character before a qualified name so as to --- disambiguate unqualified names like "m" from qualified names like --- "m:Foo.Bar.y". This makes the ext-core parser easier. -pqname (m,id) = char '^' <> text m <> char '.' <> pname id +pqname (m,id) = text m <> char '.' <> pname id ptbind, pattbind :: Tbind -> Doc ptbind (t,Klifted) = pname t |