Commits

Branch selector

 master

User selector

simonpj

Datepicker

All time

Commit History

Commits on Aug 17, 2024

• Make kick-out more selective

  Show description for 1deba6b
  

  simonpj

  authored and

  Marge Bot

  committed
  1deba6b

  Copy full SHA for 1deba6b

Commits on Jul 27, 2024

• Fix nasty bug in occurrence analyser

  Show description for f6b4c1c
  

  simonpj

  authored and

  Marge Bot

  committed
  f6b4c1c

  Copy full SHA for f6b4c1c

Commits on Jul 24, 2024

• Address #25055, by disabling case-of-runRW# in Gentle phase

  Show description for de5d985
  

  simonpj

  authored and

  Marge Bot

  committed
  de5d985

  Copy full SHA for de5d985

• Fix bad bug in mkSynonymTyCon, re forgetfulness

  Show description for 55117e1
  

  simonpj

  authored and

  Marge Bot

  committed
  55117e1

  Copy full SHA for 55117e1

Commits on Jul 12, 2024

• Make type-equality on synonyms a bit faster

  Show description for 280e4bf
  

  simonpj

  authored and

  Marge Bot

  committed
  280e4bf

  Copy full SHA for 280e4bf

Commits on Jul 8, 2024

• Fix eta-expansion in Prep

  Show description for 8bf6fd6
  

  simonpj

  authored and

  Marge Bot

  committed
  8bf6fd6

  Copy full SHA for 8bf6fd6

Commits on Jun 20, 2024

• Faster type equality

  Show description for c8a8727
  

  simonpj

  authored and

  Marge Bot

  committed
  c8a8727

  Copy full SHA for c8a8727

• Fix demand signatures for join points

  Show description for 9a757a2
  

  simonpj

  authored and

  Marge Bot

  committed
  9a757a2

  Copy full SHA for 9a757a2

• Fix untouchability test

  Show description for 04f5bb8
  

  simonpj

  authored and

  Marge Bot

  committed
  04f5bb8

  Copy full SHA for 04f5bb8

Commits on Jun 14, 2024

• Localise a case-binder in SpecConstr.mkSeqs

  Show description for 246bc3a
  

  simonpj

  authored and

  Marge Bot

  committed
  246bc3a

  Copy full SHA for 246bc3a

• Wibbles

  

  simonpj

  authored and

  Marge Bot

  committed
  e5d24cc

  Copy full SHA for e5d24cc

• Wibble

  

  simonpj

  authored and

  Marge Bot

  committed
  2eac028

  Copy full SHA for 2eac028

• Various fixes to type-tidying

  Show description for 7a08a02
  

  simonpj

  authored and

  Marge Bot

  committed
  7a08a02

  Copy full SHA for 7a08a02

• Add hack for #24623

  Show description for 19bcfc9
  

  simonpj

  authored and

  Marge Bot

  committed
  19bcfc9

  Copy full SHA for 19bcfc9

• Small documentation update in Quick Look

  

  simonpj

  authored and

  Marge Bot

  committed
  ce76bf7

  Copy full SHA for ce76bf7

Commits on Jun 12, 2024

• Prioritise nominal equalities

  Show description for b0b6417
  

  simonpj

  authored and

  Marge Bot

  committed
  b0b6417

  Copy full SHA for b0b6417

• Fix a QuickLook bug

  Show description for 2747cd3
  

  simonpj

  authored and

  Marge Bot

  committed
  2747cd3

  Copy full SHA for 2747cd3

Commits on May 23, 2024

• Better skolemisation

  Show description for 3d9e4ce
  

  simonpj

  authored and

  Marge Bot

  committed
  3d9e4ce

  Copy full SHA for 3d9e4ce

Commits on May 5, 2024

• Fix a float-out error

  Show description for 03c5dfb
  

  simonpj

  authored and

  Marge Bot

  committed
  03c5dfb

  Copy full SHA for 03c5dfb

Commits on May 4, 2024

• Use HasDebugCallStack, rather than HasCallStack

  

  simonpj

  authored and

  Marge Bot

  committed
  e568718

  Copy full SHA for e568718

• Add comments to Prep.hs

  Show description for 70e245e
  

  simonpj

  authored and

  Marge Bot

  committed
  70e245e

  Copy full SHA for 70e245e

• Add a couple more HasCallStack constraints in SimpleOpt

  Show description for 58408c7
  

  simonpj

  authored and

  Marge Bot

  committed
  58408c7

  Copy full SHA for 58408c7

• Track in-scope variables in ruleCheckProgram

  Show description for be1e60e
  

  simonpj

  authored and

  Marge Bot

  committed
  be1e60e

  Copy full SHA for be1e60e

Commits on Apr 26, 2024

• Fix missing escaping-kind check in tcPatSynSig

  Show description for 4d6394d
  

  simonpj

  authored and

  Marge Bot

  committed
  4d6394d

  Copy full SHA for 4d6394d

Commits on Apr 19, 2024

• Do not float HNFs out of lambdas

  Show description for 55a9d69
  

  simonpj

  authored and

  Marge Bot

  committed
  55a9d69

  Copy full SHA for 55a9d69

Commits on Apr 17, 2024

• Clone CoVars in CorePrep

  Show description for 9d38bfa
  

  simonpj

  authored and

  Marge Bot

  committed
  9d38bfa

  Copy full SHA for 9d38bfa

Commits on Apr 12, 2024

• Don't generate wrappers for type data constructors with StrictData

  Show description for 5e4f4ba
  

  2 peopleauthored and

  Marge Bot

  committed
  5e4f4ba

  Copy full SHA for 5e4f4ba

Commits on Apr 3, 2024

• Account for bottoming functions in OccurAnal

  Show description for 271a781
  

  simonpj

  authored and

  Marge Bot

  committed
  271a781

  Copy full SHA for 271a781

• Testsuite message changes from simplifier improvements

  

  simonpj

  authored and

  Marge Bot

  committed
  27db3c5

  Copy full SHA for 27db3c5

• Simplifier improvements

  Show description for e026bdf
  

  simonpj

  authored and

  Marge Bot

  committed
  e026bdf

  Copy full SHA for e026bdf

• Remove a long-commented-out line

  Show description for b4581e2
  

  simonpj

  authored and

  Marge Bot

  committed
  b4581e2

  Copy full SHA for b4581e2

• Use named record fields for the CastIt { ... } data constructor

  Show description for e929718
  

  simonpj

  authored and

  Marge Bot

  committed
  e929718

  Copy full SHA for e929718

• Slight improvement in WorkWrap

  Show description for ae24c9b
  

  simonpj

  authored and

  Marge Bot

  committed
  ae24c9b

  Copy full SHA for ae24c9b

• Inline GHC.HsToCore.Pmc.Solver.Types.trvVarInfo

  Show description for 609cd32
  

  simonpj

  authored and

  Marge Bot

  committed
  609cd32

  Copy full SHA for 609cd32

• Improve exprIsConApp_maybe a little

  Show description for bdf1660
  

  simonpj

  authored and

  Marge Bot

  committed
  bdf1660

  Copy full SHA for bdf1660

Pagination

Previous

Next