Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Remove an unused import on Windows | Ian Lynagh | 2010-09-29 | 1 | -3/+0 |
| | |||||
* | Use showCommandForUser when showing tracing commands | Ian Lynagh | 2010-09-28 | 1 | -2/+7 |
| | |||||
* | Fix an egregious bug: INLINE pragmas on monomorphic Ids were being ignored | simonpj@microsoft.com | 2010-09-24 | 5 | -228/+133 |
| | | | | | | I had do to some refactoring to make this work nicely but now it does. I can't think how this escaped our attention for so long! | ||||
* | Eta expand only lambdas that bind a non-dictionary Id | simonpj@microsoft.com | 2010-09-24 | 1 | -52/+32 |
| | | | | | | See Note [When to eta expand]. The idea is that dictionary lambdas are invisible to the user, so we shouldn't eta expand them. | ||||
* | Add a comment | simonpj@microsoft.com | 2010-09-24 | 1 | -0/+1 |
| | |||||
* | Add a debug print | simonpj@microsoft.com | 2010-09-24 | 1 | -0/+1 |
| | |||||
* | Just moving comments around | simonpj@microsoft.com | 2010-09-24 | 1 | -45/+76 |
| | |||||
* | Change "OPTIONS" to "OPTIONS_GHC" in error messages; fixes #4327 | Ian Lynagh | 2010-09-24 | 1 | -2/+2 |
| | |||||
* | emit a helpful error message for missing DPH packages | Simon Marlow | 2010-09-23 | 1 | -0/+9 |
| | |||||
* | Fix braino in WwLib/Literal patch | simonpj@microsoft.com | 2010-09-24 | 1 | -1/+1 |
| | |||||
* | Make -funfolding-dict-threshold work properly | simonpj@microsoft.com | 2010-09-23 | 2 | -1/+6 |
| | | | | | and increase its default value. This makes overloaded functions a bit keener to inline. Which fixes Trac #4321 | ||||
* | Impredicative types is no longer deprecated | simonpj@microsoft.com | 2010-09-23 | 1 | -2/+1 |
| | |||||
* | Do not make FunctionalDependencies force MonoLocalBinds | simonpj@microsoft.com | 2010-09-23 | 1 | -1/+0 |
| | |||||
* | Allow absent State# RealWorld arguments | simonpj@microsoft.com | 2010-09-23 | 1 | -1/+4 |
| | |||||
* | Add notSCCNote, and use it | simonpj@microsoft.com | 2010-09-23 | 4 | -19/+20 |
| | | | | | The point here is that SCCs get in the way of eta expansion and we must treat them uniformly. | ||||
* | Remove use of lambda with a refutable pattern | simonpj@microsoft.com | 2010-09-23 | 6 | -40/+41 |
| | |||||
* | Avoid ASSERT black hole | simonpj@microsoft.com | 2010-09-23 | 1 | -1/+5 |
| | | | | | | When this ASSERT tripped in CoreToStg it tried to print out too much, which tripped the asssertion again. Result: an infinite loop with no output at all. Hard to debug! | ||||
* | Rejig the absent-arg stuff for unlifted types | simonpj@microsoft.com | 2010-09-23 | 2 | -19/+52 |
| | | | | | | This is what was giving the "absent entered" messages See Note [Absent errors] in WwLib. We now return a suitable literal for absent values of unlifted type. | ||||
* | Remove -fwarn-simple-patterns, and make -fwarn-incomplete-patterns include ↵ | simonpj@microsoft.com | 2010-09-22 | 2 | -24/+9 |
| | | | | | | | | lambdas This makes \(x:xs) -> e want when you have -fwarn-incomplete-patterns, which is consistent. | ||||
* | Get rid of non-exhaustive lambda | simonpj@microsoft.com | 2010-09-22 | 1 | -2/+3 |
| | |||||
* | Fix an ASSERT failure with profiling | simonpj@microsoft.com | 2010-09-22 | 6 | -75/+99 |
| | | | | | | | | | | | | | | | | | | | | | | The problem arose with this kind of thing x = (,) (scc "blah" Nothing) Then 'x' is marked NoCafRefs by CoreTidy, becuase it has arity 1, and doesn't mention any caffy things. That in turns means that CorePrep must not float out the sat binding to give sat = scc "blah" Nothing x = (,) sat Rather we must generate x = \eta. let sat = scc "blah" Nothing in (,) sat eta URGH! This Caf stuff is such a mess. | ||||
* | Fixes for when HADDOCK_DOCS=NO | Ian Lynagh | 2010-09-21 | 1 | -1/+6 |
| | |||||
* | Add "Use archives for ghci" to --info output | Ian Lynagh | 2010-09-20 | 1 | -0/+1 |
| | |||||
* | Implement archive loading for ghci | Ian Lynagh | 2010-09-20 | 3 | -7/+48 |
| | |||||
* | Filter out the FFI library when loading package in ghci | Ian Lynagh | 2010-09-20 | 1 | -1/+7 |
| | | | | | | | | The FFI GHCi import lib isn't needed as compiler/ghci/Linker.lhs + rts/Linker.c link the interpreted references to FFI to the compiled FFI. We therefore filter it out so that we don't get duplicate symbol errors. | ||||
* | Loosen the conditions for -XUndecidableInstances; fixes Trac #4200 | simonpj@microsoft.com | 2010-09-19 | 1 | -8/+6 |
| | |||||
* | Further improvements in error messages | simonpj@microsoft.com | 2010-09-19 | 3 | -89/+100 |
| | |||||
* | Add a flag -fwarn-missing-local-sigs, and improve -fwarn-mising-signatures | simonpj@microsoft.com | 2010-09-19 | 7 | -101/+141 |
| | | | | | | | | | | | | | The new flag prints out a warning if you have a local, polymorphic binding that lacks a type signature. It's meant to help with the transition to the new typechecker, which discourages local let-generalisation. At the same time I moved the missing-signature code to TcHsSyn, where it takes place as part of zonking. That way the types are reported after all typechecking is complete, thereby fixing Trac #3696. (It's even more important for local bindings, which is why I made the change.) | ||||
* | Include the "stupid theta" in the type of $con2tag | simonpj@microsoft.com | 2010-09-19 | 1 | -1/+1 |
| | |||||
* | Enable shared libs on OpenBSD | Matthias Kilian | 2010-09-18 | 4 | -2/+13 |
| | |||||
* | Add separate functions for querying DynFlag and ExtensionFlag options | Ian Lynagh | 2010-09-18 | 30 | -163/+158 |
| | | | | and remove the temporary DOpt class workaround. | ||||
* | Bump dependencies | Ian Lynagh | 2010-09-17 | 1 | -1/+1 |
| | |||||
* | Fix overriding of implicit parameters in the solver | simonpj@microsoft.com | 2010-09-17 | 1 | -12/+14 |
| | |||||
* | Minor type printing amomaly | simonpj@microsoft.com | 2010-09-17 | 1 | -2/+5 |
| | |||||
* | Spaces only | simonpj@microsoft.com | 2010-09-17 | 1 | -1/+1 |
| | |||||
* | Minor refactoring | simonpj@microsoft.com | 2010-09-17 | 1 | -1/+2 |
| | |||||
* | Add types of implicit parameters as untouchable | simonpj@microsoft.com | 2010-09-17 | 1 | -4/+16 |
| | | | | | This is a tricky point: see Note [Implicit parameter untouchables] | ||||
* | Better pretty printing of implicit parameters | simonpj@microsoft.com | 2010-09-17 | 1 | -1/+1 |
| | |||||
* | Yet more error message improvement | simonpj@microsoft.com | 2010-09-17 | 2 | -43/+54 |
| | |||||
* | More error message wibbles | simonpj@microsoft.com | 2010-09-17 | 1 | -25/+30 |
| | |||||
* | More error refactoring | simonpj@microsoft.com | 2010-09-17 | 1 | -36/+41 |
| | |||||
* | Refactor type errors a bit | simonpj@microsoft.com | 2010-09-17 | 5 | -86/+126 |
| | | | | Improves kind error messages in paticular | ||||
* | Fix a very subtle shadowing bug in optCoercion | simonpj@microsoft.com | 2010-09-16 | 1 | -20/+67 |
| | | | | | | See Note [Subtle shadowing in coercions] This is what was going wrong in Trac 4160. | ||||
* | Fix bad error in tyVarsOfType | simonpj@microsoft.com | 2010-09-16 | 1 | -6/+12 |
| | | | | | We weren't gathering the type variables free in the kind of a coercion binder! | ||||
* | More assertions | simonpj@microsoft.com | 2010-09-16 | 1 | -3/+11 |
| | |||||
* | Add more location info in CoreLint | simonpj@microsoft.com | 2010-09-16 | 1 | -10/+16 |
| | |||||
* | Print coercion variables as such (debugging change only) | simonpj@microsoft.com | 2010-09-16 | 1 | -1/+2 |
| | |||||
* | Remove pprTrace | simonpj@microsoft.com | 2010-09-15 | 1 | -4/+3 |
| | |||||
* | Remove dead code dealing with type refinement | simonpj@microsoft.com | 2010-09-15 | 1 | -128/+0 |
| | |||||
* | Use mkAppTy | simonpj@microsoft.com | 2010-09-15 | 2 | -3/+3 |
| | | | | Using AppTy in CoreLint was giving a bogus Lint failure |