summaryrefslogtreecommitdiff
path: root/ghc/compiler/reader/ReadPrefix.lhs
Commit message (Collapse)AuthorAgeFilesLines
* [project @ 1999-06-01 16:40:41 by simonmar]simonmar1999-06-011-1034/+0
| | | | | | | | | | | | | | | | | | | | | | | | | This commit replaces the old yacc parser with a Happy-generated one. Notes: - The generated .hs file is *big*. Best to use a recent version of Happy, and even better to add the -c flag to use unsafeCoerce# with ghc (versions 4.02+ please). - The lexer has grown all sorts of unsightly growths and should be put down as soon as possible. - Parse errors may result in strange diagnostics. I'm looking into this. - HsSyn now contains a few extra constructors due to the way patterns are parsed as expressions in the parser. - The layout rule is implemented according to the Haskell report. I found a couple of places in the libraries where we previously weren't adhering to this - in particular the rule about "nested contexts must be more indented than outer contexts". The rule is necessary to disambiguate in the presence of empty declaration lists.
* [project @ 1999-05-18 15:03:54 by simonpj]simonpj1999-05-181-125/+155
| | | | RULES-NOTES
* [project @ 1999-03-15 15:11:03 by simonpj]simonpj1999-03-151-5/+15
| | | | | | | | | | | | | | | | | Make clear in HsType whether a for-all is explicit in the source program or not. Implicit for-alls now look like HsForAllTy Nothing ctxt ty while explicit ones look like HsForAllTy (Just tvs) ctxt ty Before this, the scope analysis stuff in RnSource was actually wrong (not that anyone had noticed), but Alex Ferguson did notice a bogus (sort-of-duplicate) error message on types like f :: Eq a => Int -> Int which led me to spot the deeper problem. Anyway, it's all cool now.
* [project @ 1999-03-02 18:31:51 by sof]sof1999-03-021-3/+4
| | | | import list adjustments
* [project @ 1999-01-27 14:51:14 by simonpj]simonpj1999-01-271-53/+60
| | | | | | | | | | | | | | | | | | | | | | | | | | | | Finally! This commits the ongoing saga of Simon's hygiene sweep FUNCTIONALITY ~~~~~~~~~~~~~ a) The 'unused variable' warnings from the renamer work. b) Better error messages here and there, esp type checker c) Fixities for Haskell 98 (maybe I'd done that before) d) Lazy reporting of name clashes for Haskell 98 (ditto) HYGIENE ~~~~~~~ a) type OccName has its own module. OccNames are represented by a single FastString, not three as in the last round. This string is held in Z-encoded form; a decoding function decodes for printing in user error messages. There's a nice tight encoding for (,,,,,,,,,,,,,,,,,,,,,,,,,,,,,) b) type Module is a proper ADT, in module OccName c) type RdrName is a proper ADT, in its own module d) type Name has a new, somwhat tidier, representation e) much grunting in the renamer to get Provenances right. This makes error messages look better (no spurious qualifiers)
* [project @ 1999-01-19 14:40:00 by sof]sof1999-01-191-1/+1
| | | | | foreign decls: use wlkHsSigType, not wlkHsType, since the tysig may have implicitly quantified tyvars.
* [project @ 1999-01-14 17:58:41 by sof]sof1999-01-141-17/+18
| | | | | | | | | | | | | | | | | | | | | | | | Assorted minor Haskell 98 changes: * Maximal munch rule for "--" comments * _ as lower-case letter, "_" is a reserved id. Prefixing unused variable names in patterns with '_' causes the renamer not to report such names as being unused. * allow empty decls * comprehensions are now list comprehensions, not monadic. * use Monad.fail to signal pattern matching errors within do expressions. * remove record punning. * empty contexts are now legal (go wild!) * allow records with no fields * allow newtypes with a labelled field * default default is now (Integer, Double) * turn off defaulting mechanism for args & res to a _ccall_. * allow LHSs of the form (a -.- b) x = ... * Main.main can now have type (IO a) * nuked Void (and its use in the compiler sources.) * deriving machinery for Enum now also generate 'succ' and 'pred' method bindings.
* [project @ 1998-12-18 17:40:31 by simonpj]simonpj1998-12-181-192/+181
| | | | | | | | | | | | | | | | | | | | | Another big commit from Simon. Actually, the last one didn't all go into the main trunk; because of a CVS glitch it ended up in the wrong branch. So this commit includes: * Scoped type variables * Warnings for unused variables should work now (they didn't before) * Simplifier improvements: - Much better treatment of strict arguments - Better treatment of bottoming Ids - No need for w/w split for fns that are merely strict - Fewer iterations needed, I hope * Less gratuitous renaming in interface files and abs C * OccName is a separate module, and is an abstract data type I think the whole Prelude and Exts libraries compile correctly. Something isn't quite right about typechecking existentials though.
* [project @ 1998-12-02 13:17:09 by simonm]simonm1998-12-021-64/+80
| | | | Move 4.01 onto the main trunk.
* [project @ 1998-11-16 11:56:09 by sof]sof1998-11-161-1/+6
| | | | Cleaned up the handling of the default calling conventions for 'foreign' decls
* [project @ 1998-11-13 19:34:33 by sof]sof1998-11-131-3/+4
| | | | Allow 'foreign import' calling conv. to be optional
* [project @ 1998-11-08 17:10:35 by sof]sof1998-11-081-4/+6
| | | | First take at 'foreign label's
* [project @ 1998-08-14 11:48:39 by sof]sof1998-08-141-1/+39
| | | | Reading in foreign decls
* [project @ 1998-05-22 15:23:11 by simonm]simonm1998-05-221-0/+5
| | | | | | | | | | | | | Add NOINLINE pragma. - add new type of inline info: IDontWantToBeINLINEd - hopefully get the interactions between IMustNotBeINLINEd (which is used by the simplifier to ensure termination when simplifying recursive binding groups) and IDontWantToBeINLINEd. - no need to pass NOINLINE across modules, we just make sure that any function marked as NOLINE doesn't get an unfolding in the interface.
* [project @ 1998-04-06 18:38:36 by sof]sof1998-04-061-21/+7
| | | | Misc changes by Simon to emit and handle cross-module specialisations
* [project @ 1998-01-08 18:03:08 by simonm]simonm1998-01-081-94/+65
| | | | | | | | | | | | | | | | | | | The Great Multi-Parameter Type Classes Merge. Notes from Simon (abridged): * Multi-parameter type classes are fully implemented. * Error messages from the type checker should be noticeably improved * Warnings for unused bindings (-fwarn-unused-names) * many other minor bug fixes. Internally there are the following changes * Removal of Haskell 1.2 compatibility. * Dramatic clean-up of the PprStyle stuff. * The type Type has been substantially changed. * The dictionary for each class is represented by a new data type for that purpose, rather than by a tuple.
* [project @ 1997-11-24 20:10:33 by sof]sof1997-11-241-1/+1
| | | | fix to have it compile with 2.09 (and later)
* [project @ 1997-10-08 12:08:14 by simonm]simonm1997-10-081-6/+12
| | | | | Fix for special prelude names ((),[],-> etc) when compiling with -fno-implicit-prelude.
* [project @ 1997-10-07 14:51:49 by simonm]simonm1997-10-071-1/+1
| | | | add missing IFaceFlavour field.
* [project @ 1997-10-06 09:52:41 by simonm]simonm1997-10-061-4/+12
| | | | fix for qualified Prelude / () bug
* [project @ 1997-09-24 09:08:21 by simonm]simonm1997-09-241-6/+0
| | | | Remove deforester
* [project @ 1997-08-25 21:53:50 by sof]sof1997-08-251-1/+1
| | | | Updated to reflect RecordCon change
* [project @ 1997-08-02 21:28:33 by sof]sof1997-08-021-0/+9
| | | | Added reader handling of let expressions in pattern guards
* [project @ 1997-07-27 09:14:11 by sof]sof1997-07-271-2/+5
| | | | Use readRational__ rather than readRational (it copes with leading -)
* [project @ 1997-07-05 02:55:34 by sof]sof1997-07-051-3/+6
|
* [project @ 1997-06-05 20:35:57 by sof]sof1997-06-051-2/+2
| | | | Recognise SOURCE pragma for imports
* [project @ 1997-05-26 02:00:31 by sof]sof1997-05-261-8/+5
| | | | Updated to reflect move of PprStyle to Outputable
* [project @ 1997-05-19 00:12:10 by sof]sof1997-05-191-45/+75
| | | | 2.04 changes
* [project @ 1997-03-14 07:52:06 by simonpj]simonpj1997-03-141-6/+14
| | | | Major update to more-or-less 2.02
* [project @ 1997-01-18 10:03:27 by simonpj]simonpj1997-01-181-28/+6
| | | | More polishing by Simon; to get nofib to run!
* [project @ 1997-01-17 00:32:23 by simonpj]simonpj1997-01-171-24/+10
| | | | Cross module worker-wrappers
* [project @ 1996-12-19 09:10:02 by simonpj]simonpj1996-12-191-112/+113
| | | | SLPJ new renamer and lots more
* [project @ 1996-07-15 11:32:34 by partain]partain1996-07-151-4/+26
| | | | partain changes to 960714
* [project @ 1996-06-30 15:56:44 by partain]partain1996-06-301-1/+7
| | | | partain 1.3 changes through 960629
* [project @ 1996-06-26 10:26:00 by partain]partain1996-06-261-8/+21
| | | | SLPJ 1.3 changes through 96/06/25
* [project @ 1996-06-11 13:18:54 by partain]partain1996-06-111-15/+5
| | | | SLPJ changes to 960611
* [project @ 1996-06-05 06:44:31 by partain]partain1996-06-051-8/+19
| | | | SLPJ changes through 960604
* [project @ 1996-05-16 09:48:23 by partain]partain1996-05-161-1/+1
| | | | Sansom changes through 960515
* [project @ 1996-05-16 09:42:08 by partain]partain1996-05-161-2/+2
| | | | SLPJ changes through 960515
* [project @ 1996-04-25 16:31:20 by partain]partain1996-04-251-9/+9
| | | | SLPJ 1.3 changes through 960425
* [project @ 1996-04-25 13:02:32 by partain]partain1996-04-251-4/+3
| | | | Sansom 1.3 changes to 960425
* [project @ 1996-04-20 10:37:06 by partain]partain1996-04-201-2/+6
| | | | SLPJ 1.3 changes through 960419
* [project @ 1996-04-07 15:41:24 by partain]partain1996-04-071-258/+223
| | | | Sansom 1.3 changes through 960407
* [project @ 1996-04-05 08:26:04 by partain]partain1996-04-051-11/+18
| | | | Add SLPJ/WDP 1.3 changes through 960404
* [project @ 1996-03-19 08:58:34 by partain]partain1996-03-191-867/+803
| | | | simonpj/sansom/partain/dnt 1.3 compiler stuff through 96/03/18
* [project @ 1996-01-08 20:28:12 by partain]partain1996-01-081-0/+996
Initial revision
View Lorry Controller Status