2008-10-30 |
simonpj@microsoft.com | Add (a) CoreM monad, (b) new Annotations feature
|
commit | commitdiff | tree |
2008-10-30 |
simonpj@microsoft.com | Fix Trac #2674: in TH reject empty case expressions...
|
commit | commitdiff | tree |
2008-10-29 |
simonpj@microsoft.com | Change naming conventions for compiler-generated dictionarie...
|
commit | commitdiff | tree |
2008-10-29 |
simonpj@microsoft.com | Fix tcrun031: yet more tidying up in TcDeriv
|
commit | commitdiff | tree |
2008-10-29 |
simonpj@microsoft.com | Add Outputable instance for CoercionI
|
commit | commitdiff | tree |
2008-10-28 |
simonpj@microsoft.com | Fix Trac #2720: inlining and casts
|
commit | commitdiff | tree |
2008-10-28 |
simonpj@microsoft.com | Clarify documentatoin
|
commit | commitdiff | tree |
2008-10-28 |
simonpj@microsoft.com | Mostly-fix Trac #2595: updates for existentials
|
commit | commitdiff | tree |
2008-10-28 |
simonpj@microsoft.com | Fix Trac #2723: keep track of record field names in...
|
commit | commitdiff | tree |
2008-10-28 |
simonpj@microsoft.com | Remove dead code
|
commit | commitdiff | tree |
2008-10-27 |
simonpj@microsoft.com | Fix Trac #2713: refactor and tidy up renaming of fixity...
|
commit | commitdiff | tree |
2008-10-25 |
simonpj@microsoft.com | Fix Trac #2701: make deriving check better for unlifted...
|
commit | commitdiff | tree |
2008-10-22 |
simonpj@microsoft.com | Fix Trac #2714 (a minor wibble)
|
commit | commitdiff | tree |
2008-10-21 |
simonpj@microsoft.com | Comments and parens only
|
commit | commitdiff | tree |
2008-10-21 |
simonpj@microsoft.com | Do proper cloning in worker/wrapper splitting
|
commit | commitdiff | tree |
2008-10-21 |
simonpj@microsoft.com | Don't float an expression wrapped in a cast
|
commit | commitdiff | tree |
2008-10-21 |
simonpj@microsoft.com | Fix Trac #2668, and refactor TcDeriv
|
commit | commitdiff | tree |
2008-10-19 |
simonpj@microsoft.com | Spelling error in comment
|
commit | commitdiff | tree |
2008-10-19 |
simonpj@microsoft.com | White space only
|
commit | commitdiff | tree |
2008-10-19 |
simonpj@microsoft.com | Comments to explain strict overlap checking for type...
|
commit | commitdiff | tree |
2008-09-23 |
simonpj@microsoft.com | Allow type families to use GADT syntax (and be GADTs)
|
commit | commitdiff | tree |
2008-09-23 |
simonpj@microsoft.com | Improve crash message from applyTys and applyTypeToArgs
|
commit | commitdiff | tree |
2008-09-20 |
simonpj@microsoft.com | Wibble to ungrammatical error message
|
commit | commitdiff | tree |
2008-09-20 |
simonpj@microsoft.com | Comments only: replace ":=:" by "~" (notation for equality...
|
commit | commitdiff | tree |
2008-10-15 |
simonpj@microsoft.com | Comments only
|
commit | commitdiff | tree |
2008-10-15 |
simonpj@microsoft.com | Fix Trac #2497; two separate typos in Lexer.x
|
commit | commitdiff | tree |
2008-10-15 |
simonpj@microsoft.com | Update manual: tidy up instances, say more about type...
|
commit | commitdiff | tree |
2008-10-03 |
simonpj@microsoft.com | Fix warnings
|
commit | commitdiff | tree |
2008-10-03 |
simonpj@microsoft.com | Expunge ThFake, cure Trac #2632
|
commit | commitdiff | tree |
2008-10-03 |
simonpj@microsoft.com | Make a debug check more refined
|
commit | commitdiff | tree |
2008-10-03 |
simonpj@microsoft.com | Add ASSERTs to all calls of nameModule
|
commit | commitdiff | tree |
2008-10-02 |
simonpj@microsoft.com | Make the new binder-swap stuff in OccurAnal work right...
|
commit | commitdiff | tree |
2008-10-02 |
simonpj@microsoft.com | Minor refactoring only
|
commit | commitdiff | tree |
2008-10-02 |
simonpj@microsoft.com | Comments only
|
commit | commitdiff | tree |
2008-10-02 |
simonpj@microsoft.com | Zap dead-ness info appropriately in SpecConstr
|
commit | commitdiff | tree |
2008-10-02 |
simonpj@microsoft.com | Suppress invalid Core Lint complaint about lack of...
|
commit | commitdiff | tree |
2008-09-20 |
simonpj@microsoft.com | Fix Trac #2597 (first bug): correct type checking for...
|
commit | commitdiff | tree |
2008-09-20 |
simonpj@microsoft.com | Fix Trac #2597 (second bug): complain about an empty...
|
commit | commitdiff | tree |
2008-09-20 |
simonpj@microsoft.com | Tidy up the treatment of dead binders
|
commit | commitdiff | tree |
2008-09-19 |
simonpj@microsoft.com | Improve documentation of overlapping instances
|
commit | commitdiff | tree |
2008-09-18 |
simonpj@microsoft.com | Fix Trac #1470: improve handling of recursive instances...
|
commit | commitdiff | tree |
2008-09-18 |
simonpj@microsoft.com | Comments only
|
commit | commitdiff | tree |
2008-09-18 |
simonpj@microsoft.com | Replace ASSERT with WARN, and explain why
|
commit | commitdiff | tree |
2008-09-18 |
simonpj@microsoft.com | Add a missing "prime" (env' --> env'') thereby fixing...
|
commit | commitdiff | tree |
2008-09-17 |
simonpj@microsoft.com | Fix nasty infelicity: do not short-cut empty substitution...
|
commit | commitdiff | tree |
2008-09-17 |
simonpj@microsoft.com | Avoid arity reduction when doing eta-reduce
|
commit | commitdiff | tree |
2008-09-17 |
simonpj@microsoft.com | Add extra WARN test
|
commit | commitdiff | tree |
2008-09-17 |
simonpj@microsoft.com | Comments only
|
commit | commitdiff | tree |
2008-09-17 |
simonpj@microsoft.com | Re-adjust interaction between -ddump flags and force...
|
commit | commitdiff | tree |
2008-09-17 |
simonpj@microsoft.com | Add Outputable GhcMode instance
|
commit | commitdiff | tree |
2008-09-17 |
simonpj@microsoft.com | Improve error reporting for 'deriving' (Trac #2604)
|
commit | commitdiff | tree |
2008-09-16 |
simonpj@microsoft.com | Add link to GADT paper re rigid types
|
commit | commitdiff | tree |
2008-09-15 |
simonpj@microsoft.com | Improve warning for SpecConstr
|
commit | commitdiff | tree |
2008-09-15 |
simonpj@microsoft.com | White space only
|
commit | commitdiff | tree |
2008-09-15 |
simonpj@microsoft.com | Minor refactoring to get rid of Type.splitNewTyConApp
|
commit | commitdiff | tree |
2008-09-15 |
simonpj@microsoft.com | Refactor the desugaring of RULE lhss a bit
|
commit | commitdiff | tree |
2008-09-15 |
simonpj@microsoft.com | Do not use the Static Arg Transformation by default...
|
commit | commitdiff | tree |
2008-09-14 |
simonpj@microsoft.com | Comments, and a couple of asserts, only
|
commit | commitdiff | tree |
2008-09-14 |
simonpj@microsoft.com | Fix Trac #2587: take account of type lets
|
commit | commitdiff | tree |
2008-09-14 |
simonpj@microsoft.com | Don't try to float type-lets
|
commit | commitdiff | tree |
2008-09-10 |
simonpj@microsoft.com | Remove dataConInstOrigDictsAndArgTys
|
commit | commitdiff | tree |
2008-09-10 |
simonpj@microsoft.com | Fix debug message formatting on Windows
|
commit | commitdiff | tree |
2008-09-10 |
simonpj@microsoft.com | Check the *right* set of type variables for escape!
|
commit | commitdiff | tree |
2008-09-10 |
simonpj@microsoft.com | More refactoring of instance declarations (fixes Trac...
|
commit | commitdiff | tree |
2008-09-10 |
simonpj@microsoft.com | Fix Trac #2581: inlining of record selectors
|
commit | commitdiff | tree |
2008-09-10 |
simonpj@microsoft.com | Fix Trac #2573; and explanatory comment
|
commit | commitdiff | tree |
2008-09-10 |
simonpj@microsoft.com | Fix the zonking of HsWrappers
|
commit | commitdiff | tree |
2008-09-10 |
simonpj@microsoft.com | Add newDictOcc, newDictOccs
|
commit | commitdiff | tree |
2008-09-10 |
simonpj@microsoft.com | Layout and type synonyms only
|
commit | commitdiff | tree |
2008-09-10 |
simonpj@microsoft.com | Robustify the setting of implied flags
|
commit | commitdiff | tree |
2008-09-10 |
simonpj@microsoft.com | Rename a variable
|
commit | commitdiff | tree |
2008-09-10 |
simonpj@microsoft.com | Comments only
|
commit | commitdiff | tree |
2008-09-10 |
simonpj@microsoft.com | Simplify the type signature for tcPolyBinds
|
commit | commitdiff | tree |
2008-09-09 |
simonpj@microsoft.com | Tell GHC which module nON_EXHAUSTIVE_GUARDS_ERROR_ID...
|
commit | commitdiff | tree |
2008-09-09 |
simonpj@microsoft.com | Improve float-in somewhat
|
commit | commitdiff | tree |
2008-09-09 |
simonpj@microsoft.com | Important performance wibble to callSiteInline (the...
|
commit | commitdiff | tree |
2008-09-05 |
simonpj@microsoft.com | Fix up the instance-declaration re-engineering story
|
commit | commitdiff | tree |
2008-09-05 |
simonpj@microsoft.com | Comments only
|
commit | commitdiff | tree |
2008-09-05 |
simonpj@microsoft.com | Minor refactoring to share InstEnv.instanceBindFun
|
commit | commitdiff | tree |
2008-09-05 |
simonpj@microsoft.com | Remove unused constructors AvoidMe, WildCard
|
commit | commitdiff | tree |
2008-09-05 |
simonpj@microsoft.com | More specialiser wibbles
|
commit | commitdiff | tree |
2008-09-05 |
simonpj@microsoft.com | Retain unfoldings even with SimplGently
|
commit | commitdiff | tree |
2008-09-05 |
simonpj@microsoft.com | Comments only
|
commit | commitdiff | tree |
2008-09-05 |
simonpj@microsoft.com | Better debug panic messages in applyTys
|
commit | commitdiff | tree |
2008-09-05 |
simonpj@microsoft.com | Make ASSERT2 mention msg even when debug is off (avoid...
|
commit | commitdiff | tree |
2008-09-03 |
simonpj@microsoft.com | Major change in compilation of instance declarations...
|
commit | commitdiff | tree |
2008-09-03 |
simonpj@microsoft.com | Improved specialisation of recursive groups
|
commit | commitdiff | tree |
2008-09-02 |
simonpj@microsoft.com | Cope with recent versions of Perl that lack the $*...
|
commit | commitdiff | tree |
2008-08-28 |
simonpj@microsoft.com | Improve documentation of stolen syntax
|
commit | commitdiff | tree |
2008-08-28 |
simonpj@microsoft.com | Fix Trac #2529: derived read for prefix constructor...
|
commit | commitdiff | tree |
2008-08-27 |
simonpj@microsoft.com | Fix Trac #745: improve error recoevery for type signatures
|
commit | commitdiff | tree |
2008-08-27 |
simonpj@microsoft.com | Fix Trac #2538: better error messages when validating...
|
commit | commitdiff | tree |
2008-08-27 |
simonpj@microsoft.com | Fix Trac #2520: duplicate symbols
|
commit | commitdiff | tree |
2008-08-27 |
simonpj@microsoft.com | Only specialise on dictionaries that have some interesting...
|
commit | commitdiff | tree |
2008-08-27 |
simonpj@microsoft.com | Better documentation for -XLiberalTypeSynonyms, and...
|
commit | commitdiff | tree |
2008-08-27 |
simonpj@microsoft.com | Improve documentation of MagicHash and primitive types...
|
commit | commitdiff | tree |
2008-08-26 |
simonpj@microsoft.com | Fix flaggery for RULES (cf Trac #2497)
|
commit | commitdiff | tree |
2008-08-22 |
simonpj@microsoft.com | Fix a nasty float-in bug
|
commit | commitdiff | tree |
2008-08-21 |
simonpj@microsoft.com | Make rule printing wobble less
|
commit | commitdiff | tree |
2008-08-21 |
simonpj@microsoft.com | Improve error message when 'forall' is not a keyword
|
commit | commitdiff | tree |
next |