summaryrefslogtreecommitdiff
path: root/ghc/compiler/rename
Commit message (Collapse)AuthorAgeFilesLines
...
* [project @ 2003-02-04 12:25:21 by simonpj]simonpj2003-02-041-5/+4
| | | | Use nameIsLocalOrFrom instead of open code
* [project @ 2003-01-23 14:54:35 by simonpj]simonpj2003-01-231-10/+7
| | | | | | | Suppress "No explicit method or default decl given for m" if the method name starts with an underscore This in response to a suggestion by George Russel
* [project @ 2003-01-13 13:10:19 by simonpj]simonpj2003-01-132-2/+2
| | | | Import trimming
* [project @ 2003-01-10 14:20:01 by simonpj]simonpj2003-01-101-5/+16
| | | | Export main from Main (only matters for ghci)
* [project @ 2003-01-09 16:15:51 by simonpj]simonpj2003-01-092-53/+69
| | | | | | | | | | | | | | | | | | | | | | -------------------------- Fix export-calculation bug -------------------------- Ross points out that in module M where import List as M sort = "foo" there is no conflict in the export list. GHC used to treat this like module M( module M ) where ... which is wrong, wrong, wrong. Now fixed. Test in modules/mod200.hs Some other small tidying up (notably in GRE.gre_parent).
* [project @ 2003-01-08 15:28:04 by simonmar]simonmar2003-01-082-24/+30
| | | | | | | | | | | | | | | | | | | | | | | | | Improve missing-module error messages. eg. hello2.hs:1: Failed to load interface for `Foo': Could not find interface file for `Foo' (use -v to see a list of the files searched for) and if we add the -v flag: hello2.hs:1: Failed to load interface for `Foo': Could not find interface file for `Foo' locations searched: Foo.hi Foo.hi-boot-6 Foo.hi-boot /home/simonmar/builds/i386-unknown-linux/libraries/haskell-src/Foo.hi /home/simonmar/builds/i386-unknown-linux/libraries/haskell98/Foo.hi /home/simonmar/builds/i386-unknown-linux/libraries/readline/Foo.hi /home/simonmar/builds/i386-unknown-linux/libraries/unix/Foo.hi /home/simonmar/builds/i386-unknown-linux/libraries/network/Foo.hi /home/simonmar/builds/i386-unknown-linux/libraries/base/Foo.hi
* [project @ 2003-01-06 15:19:08 by simonpj]simonpj2003-01-061-1/+1
| | | | Spelling
* [project @ 2002-12-11 11:59:59 by simonpj]simonpj2002-12-111-11/+11
| | | | Original names can occur in binding positions in External Core
* [project @ 2002-12-10 17:34:34 by simonpj]simonpj2002-12-101-13/+9
| | | | | | Check for qualified names in binding positions in the parser instead of the rename. In External Core it's OK to have qualified names in these places.
* [project @ 2002-12-10 15:42:19 by simonpj]simonpj2002-12-101-1/+1
| | | | Wibble
* [project @ 2002-12-10 15:27:58 by simonpj]simonpj2002-12-102-32/+43
| | | | Report TH errors better in stage 1
* [project @ 2002-11-28 10:04:52 by simonpj]simonpj2002-11-282-8/+21
| | | | Report over-size tuples gracefully
* [project @ 2002-11-21 09:36:48 by simonpj]simonpj2002-11-211-3/+3
| | | | Less rn-tracing
* [project @ 2002-11-08 15:16:50 by simonpj]simonpj2002-11-081-8/+2
| | | | Wibbles
* [project @ 2002-11-06 12:49:47 by simonpj]simonpj2002-11-061-39/+48
| | | | More wibbles to do with export lists
* [project @ 2002-11-06 11:34:34 by simonpj]simonpj2002-11-061-2/+0
| | | | Dont bail out quite so fast
* [project @ 2002-11-05 11:42:48 by simonpj]simonpj2002-11-051-25/+64
| | | | | | | | | | | ------------------ Fix module exports ------------------ GHC was doing the wrong thing when it came to detecting conflicts on exports from 'module M' items. This commit fixes it. There's a test in rename/should_fail/rnfail040
* [project @ 2002-11-05 09:53:22 by simonpj]simonpj2002-11-051-27/+32
| | | | Better reporting of unused bindings
* [project @ 2002-11-05 09:01:10 by simonpj]simonpj2002-11-051-1/+2
| | | | Wibble when renaming splices
* [project @ 2002-10-29 17:56:58 by simonpj]simonpj2002-10-291-2/+3
| | | | Oops... add missing free-vars
* [project @ 2002-10-28 11:21:13 by simonpj]simonpj2002-10-281-15/+14
| | | | Track locations for binders better (fixes several rn and mod failures)
* [project @ 2002-10-25 16:54:55 by simonpj]simonpj2002-10-251-2/+1
| | | | Import wibbles
* [project @ 2002-10-25 15:23:03 by simonpj]simonpj2002-10-253-34/+31
| | | | | | | | | | | | | | | | | ------------------------ More dependency fiddling ------------------------ WARNING: Interface file format has changed (again) You need to 'make clean' in all library code * Orphan modules are now kept separately Home-package dependencies now contain only home-package dependencies! See HscTypes.Dependencies * Linker now uses the dependencies to do dynamic linking Result: Template Haskell should work even without --make (not yet tested)
* [project @ 2002-10-24 14:17:46 by simonpj]simonpj2002-10-244-239/+254
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | ------------------------------------------ 1. New try and module and package dependencies 2. OrigNameCache always contains final info ------------------------------------------ These things nearly complete sorting out the incremental linking problem that started us off! 1. This commit separates two kinds of information: (a) HscTypes.Dependencies: What (i) home-package modules, and (ii) other packages this module depends on, transitively. That is, to link the module, it should be enough to link the dependent modules and packages (plus any C stubs etc). Along with this info we record whether the dependent module is (a) a boot interface or (b) an orphan module. So in fact (i) can contain non-home-package modules, namely the orphan ones in other packages (sigh). (b) HscTypes.Usage: What version of imported things were used to actually compile the module. This info is used for recompilation control only. 2. The Finder now returns a correct Module (incl package indicator) first time, so we can install the absolutely final Name in the OrigNameCache when we first come across an occurrence of that name, even if it's only an occurrence in an unfolding in some other interface file. This is much tidier. As a result Module.lhs is much cleaner No DunnoYet No mkVanillaModule ALl very joyful stuff.
* [project @ 2002-10-23 14:30:00 by simonpj]simonpj2002-10-232-37/+52
| | | | | | | | | | | | | | | | | | | | ------------------------------------------------ Allow implicit-parameter bindings anywhere that a normal binding group is allowed. ------------------------------------------------ That is, you can have implicit parameters * in a let binding * in a where clause (but then you can't have non-implicit ones as well) * in a let group in a list comprehension or monad do-notation The implementation is simple: just add IPBinds to the allowable forms of HsBinds, and remove the HsWith expression form altogether. (It now comes in via the HsLet form.) It'a a nice generalisation really. Needs a bit of documentation, which I'll do next.
* [project @ 2002-10-18 13:36:17 by simonpj]simonpj2002-10-181-0/+1
| | | | Add a trace
* [project @ 2002-10-17 14:26:16 by simonmar]simonmar2002-10-171-5/+6
| | | | | | | | | | | | | | | | | | | | | | | | | | | Finder overhaul. The finder had got pretty complicated; this commit is mainly a cleanup, with one new feature: - the finder has a cache (again). The cache may be flushed by calling flushFinderCache, which actually only flushes home modules from the cache, because package modules are assumed not to move. This change is apropos of some other changes which will result in the finder being called more often, so we think a cache is going to be worthwhile. Also a couple of bugs were fixed: - the field ml_hi_file in a ModLocation is now *always* the name of the .hi file. If you need a .hi-boot file, you have to make it up by changing the suffix of ml_hi_file. (DriverMkDepend and RnHiFiles do this). This was the cause of a bug, but I can't remember the details. - The -odir flag now works in a more reasonable way: hierarchical modules get put in subdirectories of the -odir directory. eg. if your module is A.B.C, and -odir D is specified, then the object will be D/A/B/C.o; previously it would have been D/C.o.
* [project @ 2002-10-11 14:46:02 by simonpj]simonpj2002-10-112-3/+10
| | | | | | | | | | | | | | | ------------------------------------------ Implement reification for Template Haskell ------------------------------------------ This is entirely un-tested, but I don't think it'll break non-TH stuff. Implements reifyDecl T :: Dec -- Data type T reifyDecl C :: Dec -- Class C reifyType f :: Typ -- Function f I hope.
* [project @ 2002-10-09 16:53:10 by simonpj]simonpj2002-10-091-8/+9
| | | | Fix to mdo, plus SrcLocs on splices and brackets
* [project @ 2002-10-09 16:28:56 by simonpj]simonpj2002-10-091-8/+10
| | | | Fix and simplify renamer warnings about export lists
* [project @ 2002-10-09 15:16:53 by simonpj]simonpj2002-10-091-3/+9
| | | | Dont complain about unused things bound by deriving clause
* [project @ 2002-10-09 15:03:48 by simonpj]simonpj2002-10-099-124/+106
| | | | | | | | | | | | | | | | ----------------------------------- Lots more Template Haskell stuff ----------------------------------- At last! Top-level declaration splices work! Syntax is $(f x) not "splice (f x)" as in the paper. Lots jiggling around, particularly with the top-level plumbining. Note the new data type HsDecls.HsGroup.
* [project @ 2002-10-01 16:28:20 by simonpj]simonpj2002-10-011-5/+6
| | | | Wibble in loading of boot interfaces
* [project @ 2002-09-30 13:38:30 by simonpj]simonpj2002-09-301-6/+7
| | | | Minor wibble
* [project @ 2002-09-27 17:12:23 by erkok]erkok2002-09-271-1/+4
| | | | make sure we get the name right when we call doStmtListErr
* [project @ 2002-09-27 12:42:42 by simonpj]simonpj2002-09-273-26/+75
| | | | Wibbles to improve error reporting
* [project @ 2002-09-27 08:20:43 by simonpj]simonpj2002-09-278-586/+735
| | | | | | | | | | | | | | | | | | | | | | | | | | | | -------------------------------- Implement recursive do-notation -------------------------------- This commit adds recursive do-notation, which Hugs has had for some time. mdo { x <- foo y ; y <- baz x ; return (y,x) } turns into do { (x,y) <- mfix (\~(x,y) -> do { x <- foo y; y <- baz x }) ; return (y,x) } This is all based on work by Levent Erkok and John Lanuchbury. The really tricky bit is in the renamer (RnExpr.rnMDoStmts) where we break things up into minimal segments. The rest is easy, including the type checker. Levent laid the groundwork, and Simon finished it off. Needless to say, I couldn't resist tidying up other stuff, so there's no guaranteed I have not broken something.
* [project @ 2002-09-26 08:44:48 by simonpj]simonpj2002-09-261-0/+2
| | | | Bale out a little earlier on renamer errors
* [project @ 2002-09-26 08:44:14 by simonpj]simonpj2002-09-261-0/+3
| | | | Comments
* [project @ 2002-09-25 15:36:50 by sof]sof2002-09-251-1/+1
| | | | fix logic in prev. commit
* [project @ 2002-09-25 11:55:07 by simonpj]simonpj2002-09-251-3/+7
| | | | Better reporting of unused imports
* [project @ 2002-09-25 11:46:02 by simonpj]simonpj2002-09-251-1/+4
| | | | Remember to import the things used by foreign export
* [project @ 2002-09-25 11:09:11 by simonpj]simonpj2002-09-251-1/+7
| | | | Dont warn of missing signatures in interface mode
* [project @ 2002-09-25 10:53:11 by simonpj]simonpj2002-09-251-28/+15
| | | | Fix assertion handling
* [project @ 2002-09-19 13:22:07 by simonmar]simonmar2002-09-191-3/+2
| | | | Remove vestiges of GHC.Prim.assert
* [project @ 2002-09-18 10:51:01 by simonmar]simonmar2002-09-181-2/+2
| | | | | | | | | | | | | | | | Fix up exception handling when reading an interface file, and make it compile with 4.08.x again. GhcExceptions weren't being caught by readIface, so an error when reading an interface could be unintentionally fatal (errors should be soft when reading the old interface file for the current module). Also, the Interrupted exception should not be caught by readIface, because we want ^C to behave as normal when reading interface files (currently it causes an interface-file read error rather than interrupting the whole compiler). Some exception-related compatibility functions have been moved from Util to Panic.
* [project @ 2002-09-17 10:08:48 by simonpj]simonpj2002-09-171-11/+34
| | | | Unbork head...ruleLhsTvs does not crash now
* [project @ 2002-09-16 07:31:11 by simonpj]simonpj2002-09-161-0/+2
| | | | | | | | | | | | | | | | | | | | | | | | | -------------------------------- Quantify over unbound type vars in RULE lhs's -------------------------------- -- We need to gather the type variables mentioned on the LHS so we can -- quantify over them. Example: -- data T a = C -- -- foo :: T a -> Int -- foo C = 1 -- -- {-# RULES "myrule" foo C = 1 #-} -- -- After type checking the LHS becomes (foo a (C a)) -- and we do not want to zap the unbound tyvar 'a' to (), because -- that limits the applicability of the rule. Instead, we -- want to quantify over it! This commit fixes the problem, discovered by Manuel. It uses a free-variable finder for RULE lhs's (TcRule.ruleLhsTvs) which relies on the fact that the LHS of a rule can only take ver forms (c.f RnSource.validRuleLhs).
* [project @ 2002-09-13 15:02:25 by simonpj]simonpj2002-09-1318-4264/+2669
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | -------------------------------------- Make Template Haskell into the HEAD -------------------------------------- This massive commit transfers to the HEAD all the stuff that Simon and Tim have been doing on Template Haskell. The meta-haskell-branch is no more! WARNING: make sure that you * Update your links if you are using link trees. Some modules have been added, some have gone away. * Do 'make clean' in all library trees. The interface file format has changed, and you can get strange panics (sadly) if GHC tries to read old interface files: e.g. ghc-5.05: panic! (the `impossible' happened, GHC version 5.05): Binary.get(TyClDecl): ForeignType * You need to recompile the rts too; Linker.c has changed However the libraries are almost unaltered; just a tiny change in Base, and to the exports in Prelude. NOTE: so far as TH itself is concerned, expression splices work fine, but declaration splices are not complete. --------------- The main change --------------- The main structural change: renaming and typechecking have to be interleaved, because we can't rename stuff after a declaration splice until after we've typechecked the stuff before (and the splice itself). * Combine the renamer and typecheker monads into one (TcRnMonad, TcRnTypes) These two replace TcMonad and RnMonad * Give them a single 'driver' (TcRnDriver). This driver replaces TcModule.lhs and Rename.lhs * The haskell-src library package has a module Language/Haskell/THSyntax which defines the Haskell data type seen by the TH programmer. * New modules: hsSyn/Convert.hs converts THSyntax -> HsSyn deSugar/DsMeta.hs converts HsSyn -> THSyntax * New module typecheck/TcSplice type-checks Template Haskell splices. ------------- Linking stuff ------------- * ByteCodeLink has been split into ByteCodeLink (which links) ByteCodeAsm (which assembles) * New module ghci/ObjLink is the object-code linker. * compMan/CmLink is removed entirely (was out of place) Ditto CmTypes (which was tiny) * Linker.c initialises the linker when it is first used (no need to call initLinker any more). Template Haskell makes it harder to know when and whether to initialise the linker. ------------------------------------- Gathering the LIE in the type checker ------------------------------------- * Instead of explicitly gathering constraints in the LIE tcExpr :: RenamedExpr -> TcM (TypecheckedExpr, LIE) we now dump the constraints into a mutable varabiable carried by the monad, so we get tcExpr :: RenamedExpr -> TcM TypecheckedExpr Much less clutter in the code, and more efficient too. (Originally suggested by Mark Shields.) ----------------- Remove "SysNames" ----------------- Because the renamer and the type checker were entirely separate, we had to carry some rather tiresome implicit binders (or "SysNames") along inside some of the HsDecl data structures. They were both tiresome and fragile. Now that the typechecker and renamer are more intimately coupled, we can eliminate SysNames (well, mostly... default methods still carry something similar). ------------- Clean up HsPat ------------- One big clean up is this: instead of having two HsPat types (InPat and OutPat), they are now combined into one. This is more consistent with the way that HsExpr etc is handled; there are some 'Out' constructors for the type checker output. So: HsPat.InPat --> HsPat.Pat HsPat.OutPat --> HsPat.Pat No 'pat' type parameter in HsExpr, HsBinds, etc Constructor patterns are nicer now: they use HsPat.HsConDetails for the three cases of constructor patterns: prefix, infix, and record-bindings The *same* data type HsConDetails is used in the type declaration of the data type (HsDecls.TyData) Lots of associated clean-up operations here and there. Less code. Everything is wonderful.
* [project @ 2002-09-13 08:54:44 by simonpj]simonpj2002-09-131-2/+0
| | | | Correct comments
View Lorry Controller Status