summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Dedup getting fresh non-wildcardswip/implicit-forallJohn Ericson2022-07-251-8/+12
* Some more dedupJohn Ericson2022-07-251-16/+18
* Pull out HOF so we can choose whether to filter or partitionJohn Ericson2022-07-251-16/+26
* remove rnImplicitTvOccIfXopt againTorsten Schmits2022-07-251-22/+5
* pull extractHsOuterTvBndrs into bindHsOuterTyVarBndrsTorsten Schmits2022-07-252-8/+5
* small refactorTorsten Schmits2022-07-252-14/+18
* use specialized hint type to indicate that NoImplicitForAll was setTorsten Schmits2022-07-227-28/+41
* filter out named wildcards in scope when renaming them in rnWcBodyTorsten Schmits2022-07-221-3/+9
* check the context to see whether named wildcards are allowed in a typeTorsten Schmits2022-07-221-10/+19
* move implicit renaming and in-scope filtering into the branch where ImplicitF...Torsten Schmits2022-07-222-52/+49
* add a commentTorsten Schmits2022-07-221-0/+5
* unify all conjunct uses of bindHsOuterTyVarBndrs and filterInScopeMTorsten Schmits2022-07-222-13/+31
* don't implicitly quantify free tyvars in GADT constructors if they are in sco...Torsten Schmits2022-07-211-1/+2
* add missing hint to existing test and remove new dedicated one in its favorTorsten Schmits2022-07-214-22/+15
* small doc fixTorsten Schmits2022-07-211-1/+1
* add a hint to turn on ImplicitForAll when not using forallTorsten Schmits2022-07-208-11/+42
* update pattern-signature-binds test, tycon kisig was deactivatedTorsten Schmits2022-07-202-5/+2
* move extension from expectedCabalOnlyExtensions to expectedCabalOnlyExtensionsTorsten Schmits2022-07-201-2/+2
* disable -Wpattern-signature-binds for tycon param kind sigsTorsten Schmits2022-07-201-2/+3
* add ImplicitForAll to expectedCabalOnlyExtensions as per Note in Session.hsTorsten Schmits2022-07-201-1/+2
* fix two testsTorsten Schmits2022-07-202-0/+2
* add more testsTorsten Schmits2022-07-203-0/+42
* change extension doc to use the positive extensionTorsten Schmits2022-07-201-8/+10
* add a missing W in a reference to the new warningTorsten Schmits2022-07-191-1/+1
* add some docs for ImplicitForAll to the user guideTorsten Schmits2022-07-192-1/+39
* add more testsTorsten Schmits2022-07-195-1/+39
* rename binders unconditionally when ImplicitForAll is onTorsten Schmits2022-07-191-5/+6
* add -Wpattern-signature-binds to user guideTorsten Schmits2022-07-182-0/+17
* add a test taken from the user guidTorsten Schmits2022-07-182-0/+10
* update tests that contain default extensions in their output to include Impli...Torsten Schmits2022-07-187-0/+7
* switch the order of bndr/body kv back to original when filtering fvsTorsten Schmits2022-07-181-1/+1
* fix regression: use binder kvs for implicits that were previously treated sep...Torsten Schmits2022-07-181-4/+4
* implement suggestionsTorsten Schmits2022-07-154-5/+7
* convert PatternSignatureBinds to a warningTorsten Schmits2022-07-1421-86/+56
* Fix issue where variables were renamed twiceTorsten Schmits2022-07-132-1/+6
* implement some of Ryan's suggestionsTorsten Schmits2022-07-133-6/+9
* Ryan's suggestionsRyan Scott2022-07-131-5/+3
* add testsTorsten Schmits2022-07-1321-0/+126
* Add extensions PatternSignatureBinds and ImplicitForAllTorsten Schmits2022-07-114-18/+47
* `.hs-boot` make rules: add missing order-only dependency on target directorySergei Trofimovich2022-06-271-2/+2
* configure: Only probe for LD in FIND_LDBen Gamari2022-06-271-1/+2
* testsuite: Hide output from test compilations with verbosity==2Ben Gamari2022-06-271-1/+1
* hadrian: Update main README pageMatthew Pickering2022-06-271-43/+39
* add tests for addrToAny# levityNaomi Liu2022-06-272-0/+45
* add levity polymorphism to addrToAny#Naomi Liu2022-06-271-1/+1
* Add Foldable1 and Bifoldable1 type classesBodigrim2022-06-274-1/+566
* Remove the traces of i386-*-openbsd, long live amd64Greg Steuck2022-06-273-4/+2
* Add suggestions for unrecognised pragmas (#21589)Tony Zorman2022-06-2712-13/+71
* Don't mark lambda binders as OtherConAndreas Klebinger2022-06-2733-405/+717
* hadrian: Improve haddocks for ghcDebugAssertionsAndreas Klebinger2022-06-271-1/+1
View Lorry Controller Status