Commits

Show all
Author Commit Message Labels Comments Date
lennart@augustsson.net
Export a function to grab the local environment as a function.
Tags
2007-02-05
lennart@augustsson.net
Export nameEnvUniqueElts, similar to nameEnvElts, but giving the Unique as well.
lennart@augustsson.net
Make HsRecordBinds a data type instead of a synonym.
simonpj@microsoft.com
Look through Notes when generating and matching RULES
lennart@augustsson.net
Fix a comment typo.
lennart@augustsson.net
Fix a typo.
lennart@augustsson.net
Fix a typo.
sven.panne@aedion.de
Warning police: "%p" format expects a void*
simonpj@microsoft.com
Comments only
simonpj@microsoft.com
Fix a pair of classic, but tricky, bugs in the type matcher; exposed by a program from Roman
simonpj@microsoft.com
One more wibble to FloatOut, fixes HEAD breakage (I hope)
andrew.pimlott.ctr@metnet.navy.mil
clarify that -main-is sets main module and function
simonpj@microsoft.com
Don't dump floated bindings just outside a lambda We do not want the FloatOut pass to transform f = \x. e to f = let lvl = ... in \x.e The arity pinned on f isn't right any more; and see Note [Floating out of RHSs]. Core Lint is now spotting the arity lossage (for a letrec), which is how I spotted this bug. I also re-jigged the code around floatBind; it's a bit tidier now.
simonpj@microsoft.com
Reset the demand info on bindings going to top level (since they cannot be strict)
simonpj@microsoft.com
Record arity of the worker, to maintain consistency of arity and strictness information (checked by Lint)
Pepe Iborra
Extend the local bindings at a breakpoint with one for the wrapped expression By popular request, in a breakpoint it is possible now to inspect the result of the expression wrapped by the breakpoint. The user interface for this is right now preliminar; there is a new binding called '_result' at every breakpoint. Suggestions are welcome!
Pepe Iborra
Refactoring of DsBreakpoint.hs
Pepe Iborra
Fix imports
sven.panne@aedion.de
Warning police: Avoid warning about unused variable
sven.panne@aedion.de
Adhere to the new GNU Coding Standards, avoiding a warning with autoconf 2.59c and later
Simon Marlow
chmod +x install-sh, see bug #978
Simon Marlow
some dynamic flags cannot be used with OPTIONS_GHC, e.g. -i, -package fixes #1108
Simon Marlow
Partial fix for #926 It seems that when a program exits with open DLLs on Windows, the system attempts to shut down the DLLs, but it also terminates (some of?) the running threads. The RTS isn't prepared for threads to die unexpectedly, so it sits around waiting for its workers to finish. This bites in two places: ShutdownIOManager() in the the unthreaded RTS, and shutdownCapability() in the threaded RTS. So far I've modified the latter to notice when worker threads have died unexpectedly and continue shutting down. It seems a bit trickier to fix the unthreaded RTS, so for now the workaround for #926 is to use the threaded RTS.
Ian Lynagh
Always pay attention to -keep-tmp-files when we want to delete files
simonpj@microsoft.com
Slight refactoring for overloaded strings
simonpj@microsoft.com
Use Id.isStrictId
Kirsten Chevalier
Two new warnings: arity differing from demand type, and strict IDs at top level I added two new Core Lint checks in lintSingleBinding: 1. Check that the id's arity is equal to the number of arguments in its demand type, if it has a demand type at all (i.e., if demand analysis already happened). 2. Check that top-level or recursive binders aren't demanded.
Ian Lynagh
Fix typo causing the PowerPC OS X build to fail
Ian Lynagh
Fix typo
Pepe Iborra
BugFix: do not insert breakpoints around expressions with unlifted kind I have added a check, and while there removed a few kludges in my code. Kudos to -dcore-lint for uncovering this. I think that this restriction could be lifted, if GHC.Base.breakpoint could have kind ?? -> ??. But is this a legal type? Does not look so to me.
  1. Prev
  2. Next