summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Add instantiation in rule checkingwip/impredicativityAlejandro Serrano2015-08-042-5/+6
* Fix bugs on implementation of \upsilon typesAlejandro Serrano2015-08-045-22/+29
* Revamp part of the impredicativity documentAlejandro Serrano2015-08-031-75/+158
* Never generate a `tyvar <~ sigma` constraintAlejandro Serrano2015-08-0117-286/+284
* Better simplification of casts in simple_opt_exprAlejandro Serrano2015-07-301-3/+5
* Leave RULEs checking as before impredicativityAlejandro Serrano2015-07-302-44/+4
* Do not flatten type families in <~ constraintsAlejandro Serrano2015-07-291-18/+6
* Introduce InstanceOfRefl evidence to match descriptionAlejandro Serrano2015-07-296-26/+46
* Fix problem in RULES simplificationAlejandro Serrano2015-07-292-14/+22
* Change rule for canonicalization of <~Alejandro Serrano2015-07-291-1/+1
* Instantiation in approximation is now deepAlejandro Serrano2015-07-293-13/+38
* Fix problem with double-pass simpleOptAlejandro Serrano2015-07-291-7/+14
* Merge remote-tracking branch 'origin/master' into wip/impredicativityAlejandro Serrano2015-07-27337-1963/+5970
|\
| * Comment tweaks onlyReid Barton2015-07-251-2/+2
| * Add missing parentheses in eqBigNatWord#Reid Barton2015-07-251-1/+1
| * Use isTrue# around primitive comparisons in integer-gmpReid Barton2015-07-251-30/+30
| * -include-pkg-deps takes only one hyphen.Edward Z. Yang2015-07-251-2/+2
| * renamer: fix module-level deprecation messageSergei Trofimovich2015-07-255-2/+28
| * RetainerProfile: Add missing UNTAG_STATIC_LIST_PTRBen Gamari2015-07-241-0/+1
| * Improve instanceCantMatchSimon Peyton Jones2015-07-241-2/+6
| * Refactoring around FunDepsSimon Peyton Jones2015-07-243-86/+100
| * Comments about stricteness of catch#Simon Peyton Jones2015-07-241-15/+28
| * Comments onlySimon Peyton Jones2015-07-241-4/+2
| * Fix line number in T10018 testcaseBen Gamari2015-07-241-1/+1
| * Library names, with Cabal submodule updateEdward Z. Yang2015-07-2313-41/+399
| * Add a few comments from SPJ on fixity declarationsBen Gamari2015-07-232-2/+20
| * ghci: fixity declarations for infix data constructors (#10018)Thomas Miedema2015-07-235-3/+14
| * Document type functions in the Paterson conditionsSimon Peyton Jones2015-07-231-1/+6
| * Slight refactoring to the fix for #4012Simon Peyton Jones2015-07-233-20/+22
| * rts/sm: Add missing argument names in function definitionsBen Gamari2015-07-231-6/+6
| * DataCon: Fix redundant importBen Gamari2015-07-231-1/+0
| * Parenthesise TypeOperator in import hintsThomas Winant2015-07-234-4/+17
| * Update encoding001 to test the full range of non-surrogate code pointsReid Barton2015-07-232-12/+6
| * Accept next-docstrings on GADT constructors.Ben Gamari2015-07-236-7/+39
| * Generate .dyn_o files for .hsig files with -dynamic-tooMichael Smith2015-07-238-1/+83
| * Lexer: support consecutive references to Haddock chunks (#10398)Thomas Miedema2015-07-234-1/+40
| * Comments onlySimon Peyton Jones2015-07-231-1/+7
| * Fix Trac #10670Simon Peyton Jones2015-07-235-19/+110
| * Use lookupIfaceTop for loading IfaceDecls.Edward Z. Yang2015-07-223-9/+10
| * Some utility functions for testing IfaceType equality.Edward Z. Yang2015-07-222-2/+140
| * Export alwaysQualifyPackages and neverQualifyPackages.Edward Z. Yang2015-07-221-0/+1
| * Give more informative panic for checkFamInstConsistency.Edward Z. Yang2015-07-221-1/+3
| * Add ExceptionMonad instance for IOEnv.Edward Z. Yang2015-07-221-0/+10
| * Switch from recording IsBootInterface to recording full HscSource.Edward Z. Yang2015-07-227-20/+38
| * Travis: do pass `--quiet` to validateThomas Miedema2015-07-221-3/+1
| * Validate: explain THREADS instead of CPUS in --helpThomas Miedema2015-07-222-9/+10
| * Two step allocator for 64-bit systemsGiovanni Campagna2015-07-2215-248/+1030
| * Eliminate zero_static_objects_list()Simon Marlow2015-07-2212-121/+137
| * Testsuite: recenter haddock.base allocation numbersThomas Miedema2015-07-221-1/+2
| * Revert "Trac #4945 is working again"Thomas Miedema2015-07-221-1/+1
View Lorry Controller Status