summaryrefslogtreecommitdiff
path: root/testsuite/tests/ghci/scripts
Commit message (Expand)AuthorAgeFilesLines
* Add regression test for #18755.wip/T18755Richard Eisenberg2020-09-293-0/+6
* Improve kind generalisation, error messagesSimon Peyton Jones2020-09-242-12/+6
* Implement Quick Look impredicativitySimon Peyton Jones2020-09-2410-64/+51
* testsuite: Unmark T5975[ab] as broken on WindowsBen Gamari2020-09-201-2/+2
* Added explicit fixity to (~).HaskellMouse2020-09-171-0/+2
* testsuite: Mark T5975[ab] as broken on WindowsBen Gamari2020-09-051-2/+5
* Introduce isBoxedTupleDataCon and use it to fix #18644Ryan Scott2020-09-043-0/+8
* Do not print synonyms in :i (->), :i Type (#18594)Krzysztof Gogolewski2020-08-232-2/+2
* Linear types (#15981)Krzysztof Gogolewski2020-06-172-4/+4
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-0515-104/+105
* Add test for #17669nineonine2020-06-043-0/+14
* Revert "Specify kind variables for inferred kinds in base."Ben Gamari2020-05-251-6/+4
* Explicit SpecificityGert-Jan Bottu2020-05-211-1/+1
* Specify kind variables for inferred kinds in base.Baldur Blöndal2020-05-081-4/+6
* GHC.Prim docs: note and testmniip2020-04-233-0/+4
* Do eager instantation in termsSimon Peyton Jones2020-04-223-17/+20
* testsuite: Update expected output on WindowsGHC GitLab CI2020-03-221-4/+0
* testsuite: Update expected output on WindowsBen Gamari2020-03-222-5/+0
* testsuite: Mark ghci056 and ghcilink004 as fragile in unregBen Gamari2020-03-111-0/+1
* Set `ImpredicativeTypes` during :print command. (#14828)Roland Senn2020-03-021-8/+12
* Show breakpoint locations of breakpoints which were ignored during :force (#2...Roland Senn2020-02-291-3/+3
* Remove dead codeKrzysztof Gogolewski2020-02-263-9/+0
* Fix testsuite on powerpc64lePeter Trommler2020-02-201-4/+4
* If a :reload finds syntax errors in the module graph, remove the loaded modul...Roland Senn2020-02-183-1/+5
* Always display inferred variables using bracesKrzysztof Gogolewski2020-02-128-31/+31
* testsuite: Fix -Wcompat-unqualified-imports issuesBen Gamari2020-02-0813-10/+30
* Overloaded Quotation Brackets (#246)Matthew Pickering2020-01-121-1/+1
* testsuite: Add test for #17549Ben Gamari2019-12-122-0/+7
* Make sameNat and sameSymbol proxy-polymorphicBodigrim2019-12-051-4/+2
* Fix #17405 by not checking imported equationsRichard Eisenberg2019-11-101-20/+27
* Use the right type in :forceSimon Peyton Jones2019-11-094-0/+26
* Testsuite: Introduce req_rts_linkerStefan Schulze Frielinghaus2019-11-081-4/+4
* testsuite: skip test requiring RTS linker on PowerPCPeter Trommler2019-11-051-6/+2
* Parenthesize nullary constraint tuples using sigPrec (#17403)Ryan Scott2019-10-274-0/+12
* Parenthesize GADT return types in pprIfaceConDecl (#17384)Ryan Scott2019-10-244-0/+16
* Allow command name resolution for GHCi commands with option `!` #17345Takenobu Tani2019-10-233-0/+12
* Implement a coverage checker for injectivityRichard Eisenberg2019-10-231-4/+6
* testsuite: Add test for #8305Takenobu Tani2019-10-163-0/+45
* Add Monad instances to `(,,) a b` and `(,,,) a b c`Fumiaki Kinoshita2019-10-041-0/+2
* testsuite: Add minimal test for :doc commandTakenobu Tani2019-09-304-0/+47
* Make -fbyte-code prevent unboxed tuples/sums from implying object code (#16876)Ryan Scott2019-09-265-0/+32
* Standalone kind signatures (#16794)wip/top-level-kind-signaturesVladislav Zavialov2019-09-2549-118/+304
* base: Move Ix typeclass to GHC.IxBen Gamari2019-09-251-1/+1
* Improve error message for out-of-scope variables + VTASimon Peyton Jones2019-09-171-5/+0
* Add additional step to T16804Eric Wolf2019-08-316-198/+889
* GHCi supports not-necessarily-lifted join pointsRichard Eisenberg2019-08-143-0/+13
* Fix testmniip2019-08-071-1/+1
* Explicitly number equations when printing axiom incompatibilitiesmniip2019-08-071-3/+3
* Fix testmniip2019-08-071-9/+7
* Add a -fprint-axiom-incomps option (#15546)mniip2019-08-073-0/+17
View Lorry Controller Status