summaryrefslogtreecommitdiff
path: root/ghc
Commit message (Collapse)AuthorAgeFilesLines
* [project @ 1999-07-28 15:34:39 by simonpj]simonpj1999-07-281-1/+1
| | | | Improve error msg in tcPolyExpr; Simon pls merge into release
* [project @ 1999-07-28 14:10:09 by simonmar]simonmar1999-07-281-4/+3
| | | | Sigh, another go at getting #line directives right.
* [project @ 1999-07-28 08:34:45 by simonmar]simonmar1999-07-281-2/+6
| | | | Allow unboxed tuple components to have polymorphic types.
* [project @ 1999-07-27 15:56:59 by simonmar]simonmar1999-07-271-3/+5
| | | | Sigh, didn't work in the cpp, !literate case.
* [project @ 1999-07-27 15:27:15 by simonmar]simonmar1999-07-271-2/+0
| | | | oops, debugging code committed by mistake.
* [project @ 1999-07-27 13:55:57 by simonmar]simonmar1999-07-271-2/+7
| | | | | Fix filenames in {-# LINE #-} directives when using both unlit and hscpp (I think).
* [project @ 1999-07-27 13:29:08 by simonmar]simonmar1999-07-271-5/+5
| | | | fix typo in hppa1.1 support.
* [project @ 1999-07-27 12:07:36 by sof]sof1999-07-271-391/+391
| | | | remove spurious ^M's
* [project @ 1999-07-27 11:12:05 by simonmar]simonmar1999-07-271-0/+7
| | | | | | | | | | add unofficial/undocumented function: mkWeakIORef :: IORef a -> IO () -> IO (Weak (IORef a)) for weak pointers to IORefs. This avoids some of the problems with inlining disturbing the semantics of mkWeak by making the weak key point to the primitive MutVar instead of the box.
* [project @ 1999-07-27 11:09:31 by simonmar]simonmar1999-07-271-3/+3
| | | | | | | Allow mkWeak# to take an unlifted type as the key argument. The intention is that boxed-but-unlifted types can be used as keys, not unlifted types in general but there's no way to enforce this at the moment.
* [project @ 1999-07-27 11:02:14 by simonmar]simonmar1999-07-271-1/+1
| | | | | | | +RTS -s<blah> ==> +RTS -S<blah> for -Rghc-timing. The former now gives only summary statistics, as advertised.
* [project @ 1999-07-27 10:53:53 by sof]sof1999-07-271-5/+7
| | | | | | If calling a 'foreign export'ed Haskell function resulted in an error, localise the error by supplying the module name as well as the name of the function.
* [project @ 1999-07-27 10:50:17 by sof]sof1999-07-272-18/+12
| | | | | Improve the UI a little for modules contain 'foreign export' declarations - no longer demand that module name == (basename filename)
* [project @ 1999-07-27 09:25:49 by simonmar]simonmar1999-07-272-12/+27
| | | | | | | Back out yesterday's change to Parser.y, and throw out illegal do expressions in the renamer instead. It turned out to be hard to get the optional semicolons right in the grammar at the same time as checking that the last statement is an expression.
* [project @ 1999-07-27 07:42:31 by simonpj]simonpj1999-07-271-13/+28
| | | | Add a bit more info about hi-boot files
* [project @ 1999-07-27 07:31:16 by simonpj]simonpj1999-07-278-67/+106
| | | | Do a more correct job of explicit for-alls in types
* [project @ 1999-07-27 07:30:00 by simonpj]simonpj1999-07-272-0/+30
| | | | Add rnfail018
* [project @ 1999-07-26 16:06:28 by simonpj]simonpj1999-07-261-8/+11
| | | | | | | | Adopt the following syntax for stmts: stmts -> stmt1 ; ... stmtn ; exp [;] That is, a do-notation thing must finish with an expression.
* [project @ 1999-07-26 16:01:51 by simonpj]simonpj1999-07-262-0/+18
| | | | Add read009, do-notation
* [project @ 1999-07-26 15:37:41 by simonpj]simonpj1999-07-261-3/+10
| | | | | | | | | | | Make Type.isUnLiftedType return True for forall'd unlifted types: e.g. x :: forall a. Int# I found bindings like these were getting floated to the top level. They are pretty bogus types, mind you. It would be better never to construct them. (George Russell tripped over this one.)
* [project @ 1999-07-26 15:31:01 by simonpj]simonpj1999-07-262-28/+47
| | | | | | | | * Fix a bug in the unifier that made the typechecker loop on a 5-line program from Sigbjorn. The bug is documented near the fix, in TcUnify.uUnboundVar
* [project @ 1999-07-26 15:30:29 by simonpj]simonpj1999-07-264-0/+36
| | | | Add rnfail017
* [project @ 1999-07-26 15:22:38 by simonpj]simonpj1999-07-261-4/+4
| | | | Fix type in tcMatch discovered by Keith
* [project @ 1999-07-26 15:21:56 by simonpj]simonpj1999-07-262-0/+15
| | | | Add tc102
* [project @ 1999-07-16 15:49:52 by keithw]keithw1999-07-161-1/+0
| | | | Remove dead token IThash added yesterday by mistake.
* [project @ 1999-07-16 15:12:15 by sewardj]sewardj1999-07-161-1/+1
| | | | Fix use of _unused var for ghc-3.XX.
* [project @ 1999-07-16 15:03:40 by sewardj]sewardj1999-07-163-16/+20
| | | | cpp-ify some H98isms with PSEQ and SAPPLY to placate ghc-3.0X
* [project @ 1999-07-16 14:06:57 by simonpj]simonpj1999-07-161-1/+20
| | | | | | | | * Fix a bug in the unifier that made the typechecker loop on a 5-line program from Sigbjorn. The bug is documented near the fix, in TcUnify.uUnboundVar
* [project @ 1999-07-16 13:34:20 by simonpj]simonpj1999-07-162-0/+20
| | | | Add tc101
* [project @ 1999-07-16 11:08:58 by sewardj]sewardj1999-07-162-2/+2
| | | | Fix trivial parse errors.
* [project @ 1999-07-16 09:53:44 by panne]panne1999-07-161-2/+2
| | | | | More 64bit fun: Fixed an ill-placed #ifdef and added a cast to a numeric literal (for explanation see yesterday's fix).
* [project @ 1999-07-16 09:46:31 by keithw]keithw1999-07-161-30/+34
| | | | | Layout fix to uses of ASSERT in do expressions; thanks Kevin for pointing out the problem.
* [project @ 1999-07-16 09:41:12 by panne]panne1999-07-161-6/+3
| | | | | More 64bit fun: Fixed an ill-placed #ifdef and added a cast to a numeric literal (for explanation see yesterday's fix).
* [project @ 1999-07-16 09:36:07 by simonpj]simonpj1999-07-163-19/+22
| | | | | | | * Fix long-standing bug in TcIfaceSig which meant it occasionally complained about a lint error in an unfolding, with a locally-defined name not being in scope. This only happened when hi-boot loops were being tied, so an unfolding might mention a locally-defined name.
* [project @ 1999-07-16 09:34:38 by simonpj]simonpj1999-07-161-5/+5
| | | | | * Fix trivial bug in WwLib.mkWWfixup, which showed up when booting the compiler.
* [project @ 1999-07-16 08:56:41 by panne]panne1999-07-162-2/+10
| | | | | | More small portability changes: * For older GHCs use IOBase instead of PrelIOBase * Never use commas in SLIT. cpp IS a hack for Haskell...
* [project @ 1999-07-15 16:11:29 by panne]panne1999-07-151-2/+2
| | | | | | | | | We have to be very careful with numeric literals in the C part, in this case 0xff (of type int = 4 bytes on Alpha) was shifted left 56 times => always zero :-{ Using an L or UL suffix is not always practical, because the needed size depends on conditional typedefs somewhere else. Solution: Cast! :-P ghc/includes contains some more suspicious literals, but I did not have a look at them yet.
* [project @ 1999-07-15 14:08:03 by keithw]keithw1999-07-1550-859/+1285
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This commit makes a start at implementing polymorphic usage annotations. * The module Type has now been split into TypeRep, containing the representation Type(..) and other information for `friends' only, and Type, providing the public interface to Type. Due to a bug in the interface-file slurping prior to ghc-4.04, {-# SOURCE #-} dependencies must unfortunately still refer to TypeRep even though they are not friends. * Unfoldings in interface files now print as __U instead of __u. UpdateInfo now prints as __UA instead of __U. * A new sort of variables, UVar, in their own namespace, uvName, has been introduced for usage variables. * Usage binders __fuall uv have been introduced. Usage annotations are now __u - ty (used once), __u ! ty (used possibly many times), __u uv ty (used uv times), where uv is a UVar. __o and __m have gone. All this still lives only in a TyNote, *for now* (but not for much longer). * Variance calculation for TyCons has moved from typecheck/TcTyClsDecls to types/Variance. * Usage annotation and inference are now done together in a single pass. Provision has been made for inferring polymorphic usage annotations (with __fuall) but this has not yet been implemented. Watch this space!
* [project @ 1999-07-15 09:51:52 by simonmar]simonmar1999-07-152-2/+2
| | | | | | | A prime example of how an inconsistent .hi-boot file can really ruin your day: the definition of CoreRules in CoreSyn.hi-boot was out of sync with the real one, which meant that the compiler generated the wrong code for a `seq` on something of type CoreRules.
* [project @ 1999-07-14 22:10:40 by simonpj]simonpj1999-07-143-62/+109
| | | | | | | | | | | | | | | | | | [Simon: this should fix that -funfolding-use-threshold0 lint bug] [Kevin: have a look at WwLib.mkWwBodies. Isn't it a thing of beauty? Could you think about whether the CPR stuff could be cleaned up a bit? The strictness stuff is much shorter.] This commit tidies up WwLib.mkWwBodies, fixing a couple of bugs. * One bug showed up when CPR made a worker return an unboxed tuple, but the worker didn't have any other arguments. The "add a void arg" hack needed to be generalised a bit. * The other bug showed up when booting the compiler. There's a long comment near splitProductType in WwLib.lhs that explains the problem.
* [project @ 1999-07-14 20:29:34 by panne]panne1999-07-141-2/+2
| | | | Enlarged heap for 2.10-compiled Happy on Alphas
* [project @ 1999-07-14 15:28:08 by simonmar]simonmar1999-07-141-3/+3
| | | | pre-4.03 didn't have __HASKELL98__, use something else.
* [project @ 1999-07-14 14:40:20 by simonpj]simonpj1999-07-1449-460/+719
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Main things: * Add splitProductType_maybe to DataCon.lhs, with type splitProductType_maybe :: Type -- A product type, perhaps -> Maybe (TyCon, -- The type constructor [Type], -- Type args of the tycon DataCon, -- The data constructor [Type]) -- Its *representation* arg types Then use it in many places (e.g. worker-wrapper places) instead of a pile of junk * Clean up various uses of dataConArgTys, which were plain wrong because they weren't passed the existential type arguments. Most of these calls are eliminated by using splitProductType_maybe above. I hope I correctly squashed the others. This fixes a bug that Meurig's programs showed up. module FailGHC (killSustainer) where import Weak import IOExts data Sustainer = forall a . Sustainer (IORef (Maybe a)) (IO ()) killSustainer :: Sustainer -> IO () killSustainer (Sustainer _ act) = act The above program used to kill the compiler. * A fairly concerted attack on the Dreaded Space Leak. - Add Type.seqType, CoreSyn.seqExpr, CoreSyn.seqRules - Add some seq'ing when building Ids and IdInfos These reduce the space usage a lot - Add CoreSyn.coreBindsSize, which is pretty strict in the program, and call it when we have -dshow-passes. - Do not put the inlining in an Id that is being plugged into the result-expression of the simplifier. This cures a the 'wedge' in the space profile for reasons I don't understand fully Together, these things reduce the max space usage when compiling PrelNum from 17M to about 7Mbytes. I think there are now *too many* seqs, and they waste work, but I don't have time to find which ones. Furthermore, we aren't done. For some reason, some of the stuff allocated by the simplifier makes it through all during code generation and I don't see why. There's a should-be-unnecessary call to coreBindsSize in Main.main which zaps some, but not all of this space. -dshow-passes reduces space usage a bit, but I don't think it should really. All the measurements were made on a compiler compiled with profiling by GHC 3.03. I hope they carry over to other builds! * One trivial thing: changed all variables 'label' to 'lbl', becuase the former is a keyword with -fglagow-exts in GHC 3.03 (which I was compiling with). Something similar in StringBuffer.
* [project @ 1999-07-14 13:44:19 by simonmar]simonmar1999-07-141-1/+23
| | | | | - Add findPtr() - searches through the heap for an occurrence of a given value. Useful when debugging.
* [project @ 1999-07-14 13:39:46 by simonmar]simonmar1999-07-142-15/+14
| | | | | Workaround bug in Linux's glibc 2.1: don't fflush(stdout) before writing to stderr.
* [project @ 1999-07-14 13:38:27 by simonmar]simonmar1999-07-141-3/+2
| | | | use shutdownHaskellAndExit().
* [project @ 1999-07-14 13:37:44 by simonmar]simonmar1999-07-141-4/+5
| | | | | | - add USE_REPORT_PRELUDE - Directory and Time don't need -monly-3-regs any more - remove a -fno-prune-tydecls
* [project @ 1999-07-14 13:35:49 by sewardj]sewardj1999-07-143-10/+10
| | | | | Changed vars of the form _unused to zz_unused, since 3.02 doesn't understand this convention.
* [project @ 1999-07-14 13:26:48 by simonmar]simonmar1999-07-144-40/+25
| | | | | | Don't attempt to discover the exact location of cpp, instead use 'gcc -E'. With the right combination of flags, it seems we can get the same behaviour as calling cpp directly.
* [project @ 1999-07-14 13:23:51 by simonmar]simonmar1999-07-141-1/+1
| | | | Update to match CgUsages.hi-boot-5
View Lorry Controller Status