simonmar [Fri, 27 Oct 2000 14:04:21 +0000 (14:04 +0000)]
[project @ 2000-10-27 14:04:21 by simonmar]
typo
sewardj [Fri, 27 Oct 2000 13:50:26 +0000 (13:50 +0000)]
[project @ 2000-10-27 13:50:25 by sewardj]
Half-way through versioning so it will compile, sans interpreter, with 4.08.1
simonmar [Fri, 27 Oct 2000 11:51:13 +0000 (11:51 +0000)]
[project @ 2000-10-27 11:51:13 by simonmar]
remove unneeded exports
sewardj [Fri, 27 Oct 2000 11:48:56 +0000 (11:48 +0000)]
[project @ 2000-10-27 11:48:54 by sewardj]
Track changes to the finder (now is a global variable and not passed
around). Also some fixes to flag handling.
simonmar [Fri, 27 Oct 2000 11:11:44 +0000 (11:11 +0000)]
[project @ 2000-10-27 11:11:44 by simonmar]
Don't pass the finder around any more. Instead, its state lives in
the I/O monad.
module Finder (
newFinder, -- :: PackageConfigInfo -> IO (),
findModule, -- :: ModuleName -> IO (Maybe (Module, ModuleLocation))
ModuleLocation(..),
mkHomeModuleLocn,
) where
sewardj [Fri, 27 Oct 2000 11:02:05 +0000 (11:02 +0000)]
[project @ 2000-10-27 11:02:05 by sewardj]
baseRegOffset: handle long-regs correctly.
simonmar [Fri, 27 Oct 2000 10:59:55 +0000 (10:59 +0000)]
[project @ 2000-10-27 10:59:55 by simonmar]
fill in the package cache on the first lookup too.
simonmar [Fri, 27 Oct 2000 10:52:05 +0000 (10:52 +0000)]
[project @ 2000-10-27 10:52:05 by simonmar]
Change the finder so that it doesn't fill in the home cache until it
is first used.
sewardj [Fri, 27 Oct 2000 09:39:35 +0000 (09:39 +0000)]
[project @ 2000-10-27 09:39:35 by sewardj]
Remove some redundant -fvia-Cs, wot offend mine eye.
sewardj [Fri, 27 Oct 2000 09:36:39 +0000 (09:36 +0000)]
[project @ 2000-10-27 09:36:39 by sewardj]
No longer needed. Bye bye Argv!
sewardj [Fri, 27 Oct 2000 09:17:20 +0000 (09:17 +0000)]
[project @ 2000-10-27 09:17:20 by sewardj]
Don't link happy-generated objects twice.
sewardj [Thu, 26 Oct 2000 16:51:44 +0000 (16:51 +0000)]
[project @ 2000-10-26 16:51:44 by sewardj]
Final changes to get it to compile.
sewardj [Thu, 26 Oct 2000 16:21:02 +0000 (16:21 +0000)]
[project @ 2000-10-26 16:21:02 by sewardj]
Compile everything up to Main. The Really Entertaining News (tm) is that
there are still modules beyond Main to fix up :-)
simonmar [Thu, 26 Oct 2000 14:38:42 +0000 (14:38 +0000)]
[project @ 2000-10-26 14:38:42 by simonmar]
Simon's stuff
sewardj [Thu, 26 Oct 2000 14:34:58 +0000 (14:34 +0000)]
[project @ 2000-10-26 14:34:57 by sewardj]
Make HscMain compile. Hurrah!
simonmar [Thu, 26 Oct 2000 10:27:32 +0000 (10:27 +0000)]
[project @ 2000-10-26 10:27:32 by simonmar]
Fix up
sewardj [Thu, 26 Oct 2000 10:23:37 +0000 (10:23 +0000)]
[project @ 2000-10-26 10:23:37 by sewardj]
So Simon can proceed with driver hacks.
simonpj [Thu, 26 Oct 2000 07:19:53 +0000 (07:19 +0000)]
[project @ 2000-10-26 07:19:52 by simonpj]
wibbles
sewardj [Wed, 25 Oct 2000 16:44:28 +0000 (16:44 +0000)]
[project @ 2000-10-25 16:44:28 by sewardj]
Wibbles from Julian
simonpj [Wed, 25 Oct 2000 15:57:33 +0000 (15:57 +0000)]
[project @ 2000-10-25 15:57:33 by simonpj]
writeIface stuff
sewardj [Wed, 25 Oct 2000 14:42:32 +0000 (14:42 +0000)]
[project @ 2000-10-25 14:42:31 by sewardj]
Compile up to HscMain. Again :)
simonpj [Wed, 25 Oct 2000 13:51:52 +0000 (13:51 +0000)]
[project @ 2000-10-25 13:51:50 by simonpj]
Wibbles
simonpj [Wed, 25 Oct 2000 12:56:23 +0000 (12:56 +0000)]
[project @ 2000-10-25 12:56:20 by simonpj]
Tons of stuff for the mornings work
sewardj [Wed, 25 Oct 2000 12:47:43 +0000 (12:47 +0000)]
[project @ 2000-10-25 12:47:43 by sewardj]
Sort out linking of interpreted code a bit.
sewardj [Wed, 25 Oct 2000 10:23:57 +0000 (10:23 +0000)]
[project @ 2000-10-25 10:23:57 by sewardj]
HscMain: more details on parsing and codegen, and handle parse/rename/tc
failure correctly.
simonpj [Wed, 25 Oct 2000 07:09:54 +0000 (07:09 +0000)]
[project @ 2000-10-25 07:09:52 by simonpj]
More renamer stuff; still in flight
simonpj [Tue, 24 Oct 2000 17:09:44 +0000 (17:09 +0000)]
[project @ 2000-10-24 17:09:44 by simonpj]
Stuff to do with Rules; may not compile
sewardj [Tue, 24 Oct 2000 16:33:02 +0000 (16:33 +0000)]
[project @ 2000-10-24 16:33:02 by sewardj]
More bitz n pieces.
simonmar [Tue, 24 Oct 2000 16:08:16 +0000 (16:08 +0000)]
[project @ 2000-10-24 16:08:16 by simonmar]
StgToDo done
simonmar [Tue, 24 Oct 2000 15:58:02 +0000 (15:58 +0000)]
[project @ 2000-10-24 15:58:02 by simonmar]
Compiles up to DriverFlags
simonpj [Tue, 24 Oct 2000 15:55:36 +0000 (15:55 +0000)]
[project @ 2000-10-24 15:55:35 by simonpj]
More renamer
sewardj [Tue, 24 Oct 2000 15:40:19 +0000 (15:40 +0000)]
[project @ 2000-10-24 15:40:19 by sewardj]
First shot at revised hscMain.
sewardj [Tue, 24 Oct 2000 13:23:33 +0000 (13:23 +0000)]
[project @ 2000-10-24 13:23:33 by sewardj]
Compile everything needed by main/HscMain.
sewardj [Tue, 24 Oct 2000 12:36:04 +0000 (12:36 +0000)]
[project @ 2000-10-24 12:36:03 by sewardj]
Changes to make CodeOutput compile.
simonpj [Tue, 24 Oct 2000 10:36:09 +0000 (10:36 +0000)]
[project @ 2000-10-24 10:36:08 by simonpj]
Wibbles
sewardj [Tue, 24 Oct 2000 10:12:17 +0000 (10:12 +0000)]
[project @ 2000-10-24 10:12:16 by sewardj]
Make the back-end world compile.
simonpj [Tue, 24 Oct 2000 09:44:18 +0000 (09:44 +0000)]
[project @ 2000-10-24 09:44:18 by simonpj]
More renamer; move stuff into (new) RnHiFiles.lhs
simonpj [Tue, 24 Oct 2000 08:40:11 +0000 (08:40 +0000)]
[project @ 2000-10-24 08:40:09 by simonpj]
Small wibbles
simonpj [Tue, 24 Oct 2000 07:35:35 +0000 (07:35 +0000)]
[project @ 2000-10-24 07:35:35 by simonpj]
Remove HsPragmas; hasnt been used for ages
simonpj [Tue, 24 Oct 2000 07:35:03 +0000 (07:35 +0000)]
[project @ 2000-10-24 07:35:00 by simonpj]
Mainly MkIface
simonpj [Mon, 23 Oct 2000 16:43:42 +0000 (16:43 +0000)]
[project @ 2000-10-23 16:43:42 by simonpj]
A tiny bit more
simonpj [Mon, 23 Oct 2000 16:39:12 +0000 (16:39 +0000)]
[project @ 2000-10-23 16:39:11 by simonpj]
More renamer stuff
sewardj [Mon, 23 Oct 2000 12:55:31 +0000 (12:55 +0000)]
[project @ 2000-10-23 12:55:31 by sewardj]
Plumb a function :: Name -> Maybe Fixity into the depths of the deriver
for deriving Show and Read. This information is in the ModIFaces, not
the ModDetails, and we don't want to send complete ModIFaces into the
typechecker.
simonpj [Mon, 23 Oct 2000 12:26:39 +0000 (12:26 +0000)]
[project @ 2000-10-23 12:26:39 by simonpj]
Put early-exit code in Rename.lhs
sewardj [Mon, 23 Oct 2000 12:00:22 +0000 (12:00 +0000)]
[project @ 2000-10-23 12:00:21 by sewardj]
Track renaming of typecheck/TcInstUtil to types/InstEnv.
sewardj [Mon, 23 Oct 2000 11:56:20 +0000 (11:56 +0000)]
[project @ 2000-10-23 11:56:20 by sewardj]
****** renamed from typecheck/TcInstUtil.lhs to types/InstEnv.lhs ******
sewardj [Mon, 23 Oct 2000 11:50:42 +0000 (11:50 +0000)]
[project @ 2000-10-23 11:50:40 by sewardj]
Small cleanups.
simonmar [Mon, 23 Oct 2000 11:08:22 +0000 (11:08 +0000)]
[project @ 2000-10-23 11:08:22 by simonmar]
GHC Build System Police.
simonpj [Mon, 23 Oct 2000 09:03:30 +0000 (09:03 +0000)]
[project @ 2000-10-23 09:03:26 by simonpj]
Mainly renamer
sewardj [Fri, 20 Oct 2000 15:38:43 +0000 (15:38 +0000)]
[project @ 2000-10-20 15:38:42 by sewardj]
Latest hacks.
sewardj [Thu, 19 Oct 2000 15:00:17 +0000 (15:00 +0000)]
[project @ 2000-10-19 15:00:16 by sewardj]
Stagger dazedly towards getting the renamer to compile.
sewardj [Thu, 19 Oct 2000 10:06:47 +0000 (10:06 +0000)]
[project @ 2000-10-19 10:06:46 by sewardj]
Fix simplifier stuff.
sewardj [Wed, 18 Oct 2000 14:04:12 +0000 (14:04 +0000)]
[project @ 2000-10-18 14:04:12 by sewardj]
Make the desugarer compile.
sewardj [Wed, 18 Oct 2000 12:47:56 +0000 (12:47 +0000)]
[project @ 2000-10-18 12:47:55 by sewardj]
Finish getting the typechecker to compile. Wahey!
simonmar [Wed, 18 Oct 2000 09:40:18 +0000 (09:40 +0000)]
[project @ 2000-10-18 09:40:17 by simonmar]
- Dynamicise another couple of options (-fgenerics & -freport-compile)
The rest look awkward to move into DynFlags.
- Move opt_UseVanillaRegs & friends to CgRetConv, since they aren't
real options.
sewardj [Wed, 18 Oct 2000 09:38:17 +0000 (09:38 +0000)]
[project @ 2000-10-18 09:38:17 by sewardj]
Make TcDeriv compile, after much argument with the typechecker.
simonmar [Wed, 18 Oct 2000 09:30:19 +0000 (09:30 +0000)]
[project @ 2000-10-18 09:30:19 by simonmar]
whitespace only
sewardj [Tue, 17 Oct 2000 15:57:57 +0000 (15:57 +0000)]
[project @ 2000-10-17 15:57:57 by sewardj]
Fix enough renamer bits to get going again on the typechecker.
HACK ALERT: RnIfaces is almost completely #ifdef'd out!
sewardj [Tue, 17 Oct 2000 14:40:26 +0000 (14:40 +0000)]
[project @ 2000-10-17 14:40:26 by sewardj]
Make RnEnv compile.
simonmar [Tue, 17 Oct 2000 13:22:12 +0000 (13:22 +0000)]
[project @ 2000-10-17 13:22:10 by simonmar]
Flags hacking:
- `dopt_GlasgowExts' is now written `dopt Opt_GlasgowExts'
- convert all the warning options into DynFlags
sewardj [Tue, 17 Oct 2000 12:48:35 +0000 (12:48 +0000)]
[project @ 2000-10-17 12:48:34 by sewardj]
More thrills and spills with the typechecker.
simonmar [Tue, 17 Oct 2000 11:52:10 +0000 (11:52 +0000)]
[project @ 2000-10-17 11:52:10 by simonmar]
- remove CmCompile; all its contents have moved to HscTypes and
DriverPipeline.
- export Unlinked(..) from CmLink
- update CompManager w.r.t. new CmSummarise
simonmar [Tue, 17 Oct 2000 11:50:20 +0000 (11:50 +0000)]
[project @ 2000-10-17 11:50:20 by simonmar]
add code to implement "compile".
simonmar [Tue, 17 Oct 2000 11:44:05 +0000 (11:44 +0000)]
[project @ 2000-10-17 11:44:05 by simonmar]
- export CompResult & HscResult
- add (Maybe [UnlinkedIBind]) to HscResult, in case it is returning
interpreted code
- bring HscResult in to line with CompResult w.r.t. warnings/errors
sewardj [Tue, 17 Oct 2000 11:34:46 +0000 (11:34 +0000)]
[project @ 2000-10-17 11:34:46 by sewardj]
Changes needed to get TcExpr to compile.
simonmar [Tue, 17 Oct 2000 11:25:35 +0000 (11:25 +0000)]
[project @ 2000-10-17 11:25:35 by simonmar]
make compile
sewardj [Tue, 17 Oct 2000 10:27:58 +0000 (10:27 +0000)]
[project @ 2000-10-17 10:27:58 by sewardj]
typechecker burbles
simonpj [Tue, 17 Oct 2000 09:33:41 +0000 (09:33 +0000)]
[project @ 2000-10-17 09:33:41 by simonpj]
Environments in typechecker
simonpj [Tue, 17 Oct 2000 09:01:26 +0000 (09:01 +0000)]
[project @ 2000-10-17 09:01:26 by simonpj]
Change ModDetails a little
sewardj [Mon, 16 Oct 2000 16:39:29 +0000 (16:39 +0000)]
[project @ 2000-10-16 16:39:29 by sewardj]
export wibble
sewardj [Mon, 16 Oct 2000 16:34:34 +0000 (16:34 +0000)]
[project @ 2000-10-16 16:34:33 by sewardj]
Make compile.
sewardj [Mon, 16 Oct 2000 16:29:55 +0000 (16:29 +0000)]
[project @ 2000-10-16 16:29:55 by sewardj]
Make compile.
sewardj [Mon, 16 Oct 2000 16:20:18 +0000 (16:20 +0000)]
[project @ 2000-10-16 16:20:18 by sewardj]
Make compile.
simonpj [Mon, 16 Oct 2000 16:17:01 +0000 (16:17 +0000)]
[project @ 2000-10-16 16:17:01 by simonpj]
Wibbles
simonpj [Mon, 16 Oct 2000 16:07:52 +0000 (16:07 +0000)]
[project @ 2000-10-16 16:07:52 by simonpj]
find_globals
simonmar [Mon, 16 Oct 2000 15:35:51 +0000 (15:35 +0000)]
[project @ 2000-10-16 15:35:01 by simonmar]
CmFind ==> Finder
simonmar [Mon, 16 Oct 2000 15:21:48 +0000 (15:21 +0000)]
[project @ 2000-10-16 15:21:48 by simonmar]
add some comments
simonmar [Mon, 16 Oct 2000 15:16:59 +0000 (15:16 +0000)]
[project @ 2000-10-16 15:16:59 by simonmar]
re-implement the finder using information from the driver. The Finder
now has type
ModuleName -> IO (Maybe (Module, ModuleLocation)
where
data ModuleLocation = ModuleLocation {
hs_file :: FilePath,
hi_file :: FilePath,
obj_file :: FilePath
}
For a module in another package, the hs_file and obj_file components
are undefined.
sewardj [Mon, 16 Oct 2000 15:16:02 +0000 (15:16 +0000)]
[project @ 2000-10-16 15:16:02 by sewardj]
Make compile.
simonmar [Mon, 16 Oct 2000 15:14:32 +0000 (15:14 +0000)]
[project @ 2000-10-16 15:14:32 by simonmar]
new: mkHomeModule for Modules in ThisPackage.
sewardj [Mon, 16 Oct 2000 14:40:07 +0000 (14:40 +0000)]
[project @ 2000-10-16 14:40:07 by sewardj]
Make compile.
sewardj [Mon, 16 Oct 2000 14:28:54 +0000 (14:28 +0000)]
[project @ 2000-10-16 14:28:54 by sewardj]
More typechecker bits.
simonmar [Mon, 16 Oct 2000 14:26:26 +0000 (14:26 +0000)]
[project @ 2000-10-16 14:26:26 by simonmar]
can't change pgmC any more
simonpj [Mon, 16 Oct 2000 14:14:20 +0000 (14:14 +0000)]
[project @ 2000-10-16 14:14:20 by simonpj]
Remove ExportFlag
sewardj [Mon, 16 Oct 2000 13:57:43 +0000 (13:57 +0000)]
[project @ 2000-10-16 13:57:43 by sewardj]
Track Simon's Module changes.
sewardj [Mon, 16 Oct 2000 13:51:28 +0000 (13:51 +0000)]
[project @ 2000-10-16 13:51:28 by sewardj]
push along (RnEnv doesn't typecheck, tho)
sewardj [Mon, 16 Oct 2000 13:34:40 +0000 (13:34 +0000)]
[project @ 2000-10-16 13:34:40 by sewardj]
Nuked.
simonmar [Mon, 16 Oct 2000 13:30:25 +0000 (13:30 +0000)]
[project @ 2000-10-16 13:30:25 by simonmar]
isLocalModule ==> isModuleInThisPackage
simonmar [Mon, 16 Oct 2000 13:29:58 +0000 (13:29 +0000)]
[project @ 2000-10-16 13:29:58 by simonmar]
Modules now go back to just containing a flag saying which package
they belong to.
Rename the slightly cryptic "isLocalModule" to
"isModuleInThisPackage".
sewardj [Mon, 16 Oct 2000 13:29:14 +0000 (13:29 +0000)]
[project @ 2000-10-16 13:29:13 by sewardj]
make HscTypes and RnMonad compilable
sewardj [Mon, 16 Oct 2000 13:13:41 +0000 (13:13 +0000)]
[project @ 2000-10-16 13:13:41 by sewardj]
make compilable
sewardj [Mon, 16 Oct 2000 11:39:25 +0000 (11:39 +0000)]
[project @ 2000-10-16 11:39:25 by sewardj]
mkBuiltinSrcLoc -> builtinSrcLoc
sewardj [Mon, 16 Oct 2000 11:32:56 +0000 (11:32 +0000)]
[project @ 2000-10-16 11:32:56 by sewardj]
Fix up pprName. So much simpler than the original that it will
doubtless require fixing later.
sewardj [Mon, 16 Oct 2000 10:16:33 +0000 (10:16 +0000)]
[project @ 2000-10-16 10:16:33 by sewardj]
Don't try to import IOError non-abstractly (avoids a compiler warning).
sewardj [Mon, 16 Oct 2000 10:14:10 +0000 (10:14 +0000)]
[project @ 2000-10-16 10:14:10 by sewardj]
wibble
sewardj [Mon, 16 Oct 2000 10:05:01 +0000 (10:05 +0000)]
[project @ 2000-10-16 10:05:00 by sewardj]
Mostly typechecker stuff.
simonpj [Mon, 16 Oct 2000 08:24:20 +0000 (08:24 +0000)]
[project @ 2000-10-16 08:24:18 by simonpj]
Mainly renamer
simonpj [Fri, 13 Oct 2000 16:36:22 +0000 (16:36 +0000)]
[project @ 2000-10-13 16:36:21 by simonpj]
Small things
simonpj [Fri, 13 Oct 2000 16:00:45 +0000 (16:00 +0000)]
[project @ 2000-10-13 16:00:45 by simonpj]
Tidy up errors and warnings
simonpj [Fri, 13 Oct 2000 15:08:10 +0000 (15:08 +0000)]
[project @ 2000-10-13 15:08:10 by simonpj]
Mainly typechecking instance decls