Code

Update to the 9.6/9.8 GHC API#113

Code

Merged

Tritlo merged 36 commits intomasterTritlo/PropR:masterfrom 9.8Tritlo/PropR:9.8Copy head branch name to clipboardFeb 12, 2024

Commits

Commits on Feb 7, 2024

• 16/31 compiling so far

  Tritlo

  committed
  c281f55

  Copy full SHA for c281f55

• 19/31

  Tritlo

  committed
  820d680

  Copy full SHA for 820d680

Commits on Feb 8, 2024

• Builds!

  Tritlo

  committed
  b5d69b3

  Copy full SHA for b5d69b3

• All build!

  Tritlo

  committed
  01f8660

  Copy full SHA for 01f8660

• Move check-helpers into the module, try to import self (not-working)

  Tritlo

  committed
  78f384e

  Copy full SHA for 78f384e

Commits on Feb 9, 2024

• No longer fails on package import!

  Tritlo

  committed
  ad946f2

  Copy full SHA for ad946f2

• A small cleanup

  Tritlo

  committed
  12ad50a

  Copy full SHA for 12ad50a

• Fix interpreting

  Tritlo

  committed
  cb1b5e4

  Copy full SHA for cb1b5e4

• Remove test flags

  Tritlo

  committed
  853e79b

  Copy full SHA for 853e79b

Commits on Feb 10, 2024

• 19/26 tests pass (with added annotations)

  Tritlo

  committed
  a0294be

  Copy full SHA for a0294be

• accept new candidate output. 20/26 passing!

  Show description for 42c3106
  Tritlo

  committed
  42c3106

  Copy full SHA for 42c3106

• remove identifiers in EFC output

  Tritlo

  committed
  66a3a8d

  Copy full SHA for 66a3a8d

• Roll-back 9.8 stuff to 9.6

  Tritlo

  committed
  01b35af

  Copy full SHA for 01b35af

• Allow mixing in ambiguous type variable test and add tasty-hunit package

  Tritlo

  committed
  32f77b3

  Copy full SHA for 32f77b3

• Move BrokenGCD to slow tests

  Tritlo

  committed
  e479f0a

  Copy full SHA for e479f0a

• Fix fake modules not working

  Tritlo

  committed
  956cb19

  Copy full SHA for 956cb19

• Allow mixing in ambiguous type variable test and add tasty-hunit package

  Tritlo

  committed
  94109a9

  Copy full SHA for 94109a9

• Move BrokenGCD to slow tests

  Tritlo

  committed
  a59724c

  Copy full SHA for a59724c

• Fix fake modules not working

  Tritlo

  committed
  9cd0acb

  Copy full SHA for 9cd0acb

• Enable CI on 9.6 branch

  Tritlo

  committed
  a4f5a71

  Copy full SHA for a4f5a71

Commits on Feb 12, 2024

• Merge branch '9.6' into 9.8

  Tritlo

  committed
  7cf5f3d

  Copy full SHA for 7cf5f3d

• Revert "Roll-back 9.8 stuff to 9.6"

  Show description for 553a66e
  Tritlo

  committed
  553a66e

  Copy full SHA for 553a66e

• Explicitly infer constraints

  Tritlo

  committed
  74c0c45

  Copy full SHA for 74c0c45

• Add github build for 9.8

  Tritlo

  committed
  6bea30b

  Copy full SHA for 6bea30b

• Build with any 9.8

  Tritlo

  committed
  36cf4b4

  Copy full SHA for 36cf4b4

• Merge 9.6 and 9.8

  Tritlo

  committed
  deccf9f

  Copy full SHA for deccf9f

• build both 9.8 and 9.6

  Tritlo

  committed
  5ff6f64

  Copy full SHA for 5ff6f64

• Bump

  Tritlo

  committed
  f91ab21

  Copy full SHA for f91ab21

• Rename branch to 9.8

  Tritlo

  committed
  f51c77a

  Copy full SHA for f51c77a

• Remove check-helpers dependency from the package

  Tritlo

  committed
  cc5b7f5

  Copy full SHA for cc5b7f5

• Infer constraints on wildcardtys as well

  Tritlo

  committed
  5ebda72

  Copy full SHA for 5ebda72

• bump dockerfile, install check-helpers at same time as random, quickcheck

  Tritlo

  committed
  a07af32

  Copy full SHA for a07af32

• Add constraint inference in one missing case

  Tritlo

  committed
  5e71d72

  Copy full SHA for 5e71d72

• Thread hole from fits to fill

  Tritlo

  committed
  4307a22

  Copy full SHA for 4307a22

• Don't track fills except in one case, move alsoInferConstraints to shim

  Tritlo

  committed
  13b675a

  Copy full SHA for 13b675a

• Use lens to clean types

  Tritlo

  committed
  77b0bf9

  Copy full SHA for 77b0bf9