summaryrefslogtreecommitdiff
path: root/ghc/compiler/main
Commit message (Collapse)AuthorAgeFilesLines
...
* [project @ 2005-04-13 14:44:51 by simonmar]simonmar2005-04-131-1/+1
| | | | preprocessFile: return the source filename rather than "<buffer>"
* [project @ 2005-04-13 13:30:42 by simonmar]simonmar2005-04-132-14/+26
| | | | | | | | | | | Add : loadMsg :: Session -> LoadHowMuch -> (Messages-> IO ()) -> IO SuccessFlag ie. just like load, except it takes a message callback and plumbs it down to hscMain. checkModule now uses loadMsgs. Better name suggestions welcome.
* [project @ 2005-04-13 13:17:35 by simonmar]simonmar2005-04-133-23/+115
| | | | | | | | | | | | - checkModule is back, and now returns a ModuleInfo - added: modInfoTopLevelScope :: [Name] modInfoExports :: [Name] - in order to implement modInfoExports, ModDetails now contains md_exports::NameSet.
* [project @ 2005-04-12 16:49:31 by krasimir]krasimir2005-04-121-70/+34
| | | | | | | | | | | | | | | | | Few changes to GHC API: * The Instance type is removed. Each instance is represented as dictonary Id. Now there is: isDictonaryId :: Id -> Bool predicate which allows to distinguish them. * The full list of all available predicates of type (Id -> Bool) is exported * Few predicates for TyCon are exported * checkModule is removed. It isn't used anymore. Instead the full load is made. The hook API will be required at some time in order to make available the parsed/typechecked source.
* [project @ 2005-04-08 14:51:48 by simonmar]simonmar2005-04-082-27/+74
| | | | | | | | | | | GHC API work: - add parseName :: Session -> String -> IO [Name] - make lookupName look up in the global type environment - add data ModuleInfo - add a few ModuleInfo-related functions - add getModuleInfo :: Session -> Module -> IO ModuleInfo
* [project @ 2005-04-08 13:39:11 by simonmar]simonmar2005-04-081-6/+26
| | | | | | - add initPackages - add showGhcException - tidy up the export list a bit
* [project @ 2005-04-08 13:33:24 by simonmar]simonmar2005-04-081-0/+4
| | | | Haddock comment on initPackages
* [project @ 2005-04-07 11:35:48 by simonmar]simonmar2005-04-072-4/+15
| | | | Add the -hide-all-packages flag.
* [project @ 2005-04-05 09:06:36 by krasimir]krasimir2005-04-057-54/+41
| | | | | | | | | | | | | | In many places there was a common pattern when (verbose >= n) $ putMsg "..." It is now replaced with debutTraceMsg dflags n "..." In few places hPutStrLn stderr or putStrLn was used instead of putMsg in the above pattern. They are replaced too. Now putMsg is used only in places where the verbosity flag was not checked.
* [project @ 2005-04-04 11:55:11 by simonpj]simonpj2005-04-042-3/+6
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This commit combines three overlapping things: 1. Make rebindable syntax work for do-notation. The idea here is that, in particular, (>>=) can have a type that has class constraints on its argument types, e.g. (>>=) :: (Foo m, Baz a) => m a -> (a -> m b) -> m b The consequence is that a BindStmt and ExprStmt must have individual evidence attached -- previously it was one batch of evidence for the entire Do Sadly, we can't do this for MDo, because we use bind at a polymorphic type (to tie the knot), so we still use one blob of evidence (now in the HsStmtContext) for MDo. For arrow syntax, the evidence is in the HsCmd. For list comprehensions, it's all built-in anyway. So the evidence on a BindStmt is only used for ordinary do-notation. 2. Tidy up HsSyn. In particular: - Eliminate a few "Out" forms, which we can manage without (e.g. - It ought to be the case that the type checker only decorates the syntax tree, but doesn't change one construct into another. That wasn't true for NPat, LitPat, NPlusKPat, so I've fixed that. - Eliminate ResultStmts from Stmt. They always had to be the last Stmt, which led to awkward pattern matching in some places; and the benefits didn't seem to outweigh the costs. Now each construct that uses [Stmt] has a result expression too (e.g. GRHS). 3. Make 'deriving( Ix )' generate a binding for unsafeIndex, rather than for index. This is loads more efficient. (This item only affects TcGenDeriv, but some of point (2) also affects TcGenDeriv, so it has to be in one commit.)
* [project @ 2005-04-01 11:34:20 by simonmar]simonmar2005-04-012-2/+3
| | | | build fix when !GHCI
* [project @ 2005-03-31 16:11:49 by simonmar]simonmar2005-03-313-35/+38
| | | | | | | DriverPipeline.compile: we should be grabbing the OPTIONS from the StringBuffer, not reading the file again (duh!) SysTools: some message cleanups
* [project @ 2005-03-31 15:16:53 by simonmar]simonmar2005-03-314-80/+145
| | | | | | | | | | | | | | | | | More hacking on the GHC API to get it into shape for VS - load now takes a LoadHowMuch argument, which is either LoadAllTargets LoadUpTo Module LoadDependenciesOf Module which should be self-explanatory. LoadDependenciesOf might go away in the future, it's necessary at the moment because it is used in the implementation of: - checkModule :: Session -> Module -> MessageHandler -> IO CheckResult which is currently the only way to get at the parsed & typechecked abstract syntax for a module.
* [project @ 2005-03-31 10:16:33 by simonmar]simonmar2005-03-319-37/+35
| | | | | | | Tweaks to get the GHC sources through Haddock. Doesn't quite work yet, because Haddock complains about the recursive modules. Haddock needs to understand SOURCE imports (it can probably just ignore them as a first attempt).
* [project @ 2005-03-30 16:24:04 by simonmar]simonmar2005-03-304-45/+137
| | | | | | | | | | | | | | Add support for partial reloads in the GHC API. This is mainly for VS: when editing a file you don't want to continually reload the entire project whenever the current file changes, you want to reload up to and including the current file only. However, you also want to retain any other modules in the session that are still stable. I added a variant of :reload in GHCi to test this. You can say ':reload M' to reload up to module M only. This will bring M up to date, and throw away any invalidated modules from the session.
* [project @ 2005-03-30 01:22:24 by sof]sof2005-03-301-0/+1
| | | | | Avoid a (rather verbose) GHC warning from being issued -- initialize the runPhase.mod_summary.ms_obj_date field.
* [project @ 2005-03-28 22:03:33 by wolfgang]wolfgang2005-03-281-4/+5
| | | | Track recent dynamic flags changes; fixes the build for Mac OS X.
* [project @ 2005-03-24 16:14:00 by simonmar]simonmar2005-03-245-381/+392
| | | | | | | | | | | | | | Cleanup the upsweep strategy in GHC.load. Now it's hopefully clearer how we decide what modules to recompile, and which are "stable" (not even looked at) during a reload. See the comments for details. Also, I've taken some trouble to explicitly prune out things that aren't required before a reload, which should reduce the memory requirements for :reload in GHCi. Currently I believe it keeps most of the old program until the reload is complete, now it shouldn't require any extra memory.
* [project @ 2005-03-23 18:51:33 by sof]sof2005-03-231-2/+5
| | | | | | | | | | | | | | Rename the filenames used for the 'win32' package to {lib}HSwin_32{1.o,2.o,.a} so as to avoid conflicts with the 'Win32' package when installing to a common library directory on a case-insensitive filesystem (as we do when building binary dists under Windows.) This fixes the off-the-bat brokenness experienced by people trying to load the 'Win32' package with ghci-6.4. Note: package creators may want to make a note of this if they haven't already, i.e., while the package infrastructure is case-sensitive, it's unsafe to assume that the underlying filesystem is. Merge to STABLE.
* [project @ 2005-03-22 17:33:38 by simonpj]simonpj2005-03-221-10/+11
| | | | Windows wibbles
* [project @ 2005-03-22 17:13:12 by simonmar]simonmar2005-03-227-441/+1688
| | | | | | | | | | | | | | | A start on the GHC API: Flesh out the GHC module so that it can replace CompManager. Now, the clients that used CompManager consume the GHC API instead (namely Main, DriverMkDepend, and InteractiveUI). Main is significantly cleaner as a result. The interface needs more work: in particular, getInfo returns results in the form of IfaceDecls but we want to use full HsSyn and Id/DataCon/Class across the boundary instead. The interfaces for inspecting loaded modules are not yet implemented.
* [project @ 2005-03-21 10:50:22 by simonmar]simonmar2005-03-216-131/+82
| | | | | | | | | | | | Complete the transition of -split-objs into a dynamic flag (looks like I half-finished it in the last commit). Also: complete the transition of -tmpdir into a dynamic flag, which involves some rearrangement of code from SysTools into DynFlags. Someday, initSysTools should move wholesale into initDynFlags, because most of the state that it initialises is now part of the DynFlags structure, and the rest could be moved in easily.
* [project @ 2005-03-19 02:03:26 by sof]sof2005-03-191-4/+7
| | | | | | | | | | | | [Windows only] for System.Directory / Compat.Directory functionality that probes the OS for local details re: misc user directories, perform late binding of SHGetFolderPath() from shell32.dll, as it may not be present. (cf. ghc-6.4's failure to operate on Win9x / NT boxes.) If the API isn't there, fail with UnsupportedOperation. Packages.readPackageConfigs: gracefully handle excns from getAppUserDataDirectory. Merge to STABLE.
* [project @ 2005-03-18 17:17:02 by simonpj]simonpj2005-03-181-2/+4
| | | | Import wibble
* [project @ 2005-03-18 17:16:00 by simonpj]simonpj2005-03-182-1/+2
| | | | Fix stage-2 build
* [project @ 2005-03-18 13:37:27 by simonmar]simonmar2005-03-1821-3012/+2603
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Flags cleanup. Basically the purpose of this commit is to move more of the compiler's global state into DynFlags, which is moving in the direction we need to go for the GHC API which can have multiple active sessions supported by a single GHC instance. Before: $ grep 'global_var' */*hs | wc -l 78 After: $ grep 'global_var' */*hs | wc -l 27 Well, it's an improvement. Most of what's left won't really affect our ability to host multiple sessions. Lots of static flags have become dynamic flags (yay!). Notably lots of flags that we used to think of as "driver" flags, like -I and -L, are now dynamic. The most notable static flags left behind are the "way" flags, eg. -prof. It would be nice to fix this, but it isn't urgent. On the way, lots of cleanup has happened. Everything related to static and dynamic flags lives in StaticFlags and DynFlags respectively, and they share a common command-line parser library in CmdLineParser. The flags related to modes (--makde, --interactive etc.) are now private to the front end: in fact private to Main itself, for now.
* [project @ 2005-03-17 10:16:32 by simonpj]simonpj2005-03-171-1/+3
| | | | | | | ghc --make should check for a module graph that contains a hs-boot file with no corresponding parent module Merge to STABLE
* [project @ 2005-03-15 12:11:39 by simonmar]simonmar2005-03-151-0/+360
| | | | | A very rough start at the GHC API, here so that others can look and modify it.
* [project @ 2005-03-08 09:47:35 by simonpj]simonpj2005-03-081-11/+5
| | | | Print full instances in ghci; merge
* [project @ 2005-03-07 16:46:08 by simonpj]simonpj2005-03-071-1/+0
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | ----------------------------------------- Fix a long-standing indirection-zapping bug ----------------------------------------- Merge to STABLE Up to now we zap indirections as part of the occurence analyser. But this is bogus. The indirection zapper does the following: x_local = <expression> ...bindings... x_exported = x_local where x_exported is exported, and x_local is not, then we replace it with this: x_exported = <expression> x_local = x_exported ...bindings... But this is plain wrong if x_exported has a RULE that mentions something (f, say) in ...bindings.., because 'f' will then die. After hacking a few solutions, I've eventually simply made the indirection zapping into a separate pass (which is cleaner anyway), which wraps the entire program back into a single Rec if the bad thing can happen. On the way I've made indirection-zapping work in Recs too, which wasn't the case before. * Move the zapper from OccurAnal into SimplCore * Tidy up the printing of pragmas (PprCore and friends) * Add a new function Rules.addRules * Merge rules in the indirection zapper (previously one set was discarded)
* [project @ 2005-03-04 12:04:00 by simonmar]simonmar2005-03-041-2/+0
| | | | We shouldn't be including ghcconfig.h here
* [project @ 2005-03-02 11:06:58 by simonmar]simonmar2005-03-021-1/+1
| | | | Change "Reading" to "Using" in -v output to keep hmake happy.
* [project @ 2005-02-23 12:18:29 by simonmar]simonmar2005-02-231-5/+8
| | | | | fix for findPackageModule: if we find the module in the cache, check that it actually is a package module before returning it.
* [project @ 2005-02-22 16:29:41 by simonpj]simonpj2005-02-221-1/+2
| | | | | | | | | | | ------------------------------------------------------- Change -include-prelude to -include-pkg-deps for ghc -M ------------------------------------------------------- Merge to STABLE This commit just renames the flag for ghc -M to something more sensible.
* [project @ 2005-02-21 14:07:07 by simonmar]simonmar2005-02-211-3/+3
| | | | | | Fix a recompilation bug caused by the fact that typecheckIface wasn't going via loadDecl to create the binders properly. The fix actually results in slightly cleaner code.
* [project @ 2005-02-18 16:19:10 by simonmar]simonmar2005-02-182-7/+7
| | | | Track InstalledPackageInfo updates
* [project @ 2005-02-15 15:58:28 by simonmar]simonmar2005-02-151-1/+1
| | | | Fix --mk-dll
* [project @ 2005-02-15 11:24:51 by simonmar]simonmar2005-02-151-21/+21
| | | | Fix endMkDependHS
* [project @ 2005-02-14 16:49:50 by simonmar]simonmar2005-02-141-0/+2
| | | | | | Improve the module-not-found error message when we didn't actually search for it anywhere. This happens when we know all the places it might be: either in the current program, or a package.
* [project @ 2005-02-14 13:42:09 by simonmar]simonmar2005-02-141-3/+3
| | | | -d*-lint shouldn't turn off recompilation checking
* [project @ 2005-02-14 13:27:52 by simonmar]simonmar2005-02-143-18/+12
| | | | | Put the GlobalRdrEnv back into the ModIface, so it gets preserved when we reload a module without recompiling it.
* [project @ 2005-02-10 15:26:23 by simonmar]simonmar2005-02-101-14/+14
| | | | | Print the banner before the "reading package config file" messages in verbose mode.
* [project @ 2005-02-07 12:16:50 by simonpj]simonpj2005-02-071-3/+0
| | | | | | | | | | | | | | | | | ----------------------------------------------------- Switch off derivable type class generation by default ----------------------------------------------------- Merge to STABLE This commit switches off the generation of the support code for 'Derivable Type Classes' by default. Use -fgenerics to switch it on. Motivation: seldom used, and there's a nasty blowup in Core types for data types that have lots of constructors or lots of fields. We now put -fgenerics in the GhcLibOpts, so that the libraries have the support code, as before.
* [project @ 2005-02-04 15:43:28 by simonpj]simonpj2005-02-041-28/+22
| | | | Respect --exclude-module in ghc -M; some tidying up as well
* [project @ 2005-02-04 15:42:54 by simonpj]simonpj2005-02-041-0/+2
| | | | Comments and type sig
* [project @ 2005-02-02 13:40:34 by simonpj]simonpj2005-02-022-4/+4
| | | | | Dump package config only with -v4 Dump module dependencies (ghc -M) with -v2
* [project @ 2005-02-02 13:27:07 by simonpj]simonpj2005-02-021-5/+5
| | | | Import trimming
* [project @ 2005-02-02 10:14:01 by simonmar]simonmar2005-02-022-9/+12
| | | | Fix isLinkMode and adjust formatting a little
* [project @ 2005-02-01 13:18:05 by simonmar]simonmar2005-02-011-2/+2
| | | | Fix the source_unchanged test in the Hsc phase
* [project @ 2005-02-01 08:36:02 by simonpj]simonpj2005-02-014-59/+77
| | | | | | | | | | | | | | -------------------- Command-flag cleanup -------------------- * Fewer cases in GhcMode: eliminate DoMkDLL, DoLink, both in favour of StopBefore StopLn * Replace the NoLink boolean with a GhcLink three-way flag: NoLink, StaticLink, MakeDLL * Corresponding plumbing to link it all up.
View Lorry Controller Status