[Git][ghc/ghc][wip/T21623] 63 commits: Update instances.rst, clarifying InstanceSigs

Wed Sep 7 08:10:36 UTC 2022

Simon Peyton Jones pushed to branch wip/T21623 at Glasgow Haskell Compiler / GHC

Commits:
f37b621f by sheaf at 2022-09-06T11:51:53+00:00
Update instances.rst, clarifying InstanceSigs

Fixes #22103

- - - - -
d4f908f7 by Jan Hrček at 2022-09-06T15:36:58-04:00
Fix :add docs in user guide

- - - - -
808bb793 by Cheng Shao at 2022-09-06T15:37:35-04:00
ci: remove unused build_make/test_make in ci script

- - - - -
99e3d521 by Simon Peyton Jones at 2022-09-07T09:08:07+01:00
Start work

Not ready for review

- - - - -
df8dd468 by Simon Peyton Jones at 2022-09-07T09:08:08+01:00
More progress

- - - - -
f2ada482 by Simon Peyton Jones at 2022-09-07T09:08:08+01:00
Wibbles

- - - - -
619fa65a by Simon Peyton Jones at 2022-09-07T09:08:08+01:00
Stage1 compiles

- - - - -
52165349 by Simon Peyton Jones at 2022-09-07T09:08:08+01:00
More wibbles

- - - - -
3e499c96 by Simon Peyton Jones at 2022-09-07T09:08:08+01:00
More wibbles

- - - - -
51381115 by Simon Peyton Jones at 2022-09-07T09:08:08+01:00
More -- almost working

- - - - -
e4f39962 by Simon Peyton Jones at 2022-09-07T09:08:08+01:00
Comments

- - - - -
ed3ff6f1 by Simon Peyton Jones at 2022-09-07T09:08:08+01:00
Wibbles

- - - - -
c96eb0b0 by Simon Peyton Jones at 2022-09-07T09:08:08+01:00
Wibbles

- - - - -
de919199 by Simon Peyton Jones at 2022-09-07T09:08:08+01:00
Wibble inlineId

- - - - -
93298918 by Simon Peyton Jones at 2022-09-07T09:08:08+01:00
Wibbles

- - - - -
eaab1774 by Simon Peyton Jones at 2022-09-07T09:08:08+01:00
Infinite loop somewhere

- - - - -
313c4a17 by Simon Peyton Jones at 2022-09-07T09:08:08+01:00
More wibbles.  Maybe can build stage2

- - - - -
4ae76734 by Simon Peyton Jones at 2022-09-07T09:08:08+01:00
Make FuNCo a thing by itself

- - - - -
bcd8497b by Simon Peyton Jones at 2022-09-07T09:08:08+01:00
Wibble

- - - - -
a4d1be8f by Simon Peyton Jones at 2022-09-07T09:08:08+01:00
Wibble

- - - - -
a06bc64e by Simon Peyton Jones at 2022-09-07T09:08:08+01:00
Wibbles

- - - - -
8d9cdb69 by Simon Peyton Jones at 2022-09-07T09:08:08+01:00
Fix OptCoercion

- - - - -
9e095f29 by Simon Peyton Jones at 2022-09-07T09:08:08+01:00
Wibble

- - - - -
d4a26be9 by Simon Peyton Jones at 2022-09-07T09:08:08+01:00
Wibble to optCoercion

- - - - -
013d1d27 by Simon Peyton Jones at 2022-09-07T09:08:08+01:00
Replace SORT with TYPE and CONSTRAINT

- - - - -
c9a5769e by Simon Peyton Jones at 2022-09-07T09:08:08+01:00
Wibble

- - - - -
b8021b69 by Simon Peyton Jones at 2022-09-07T09:08:08+01:00
Delete unused import

- - - - -
fc7381cd by Simon Peyton Jones at 2022-09-07T09:08:08+01:00
Delete TypeOrConstraint from ghc-prim:GHC.Types

- - - - -
d48d6ce3 by Simon Peyton Jones at 2022-09-07T09:08:08+01:00
Move from NthCo to SelCo

- - - - -
2a61da9b by Simon Peyton Jones at 2022-09-07T09:08:08+01:00
Wibbles

- - - - -
75aaedcd by Simon Peyton Jones at 2022-09-07T09:08:08+01:00
Wibbles in RepType

- - - - -
fa67a183 by Simon Peyton Jones at 2022-09-07T09:08:08+01:00
Wibble

- - - - -
602de325 by Simon Peyton Jones at 2022-09-07T09:08:08+01:00
Add mkWpEta

- - - - -
1c69de3e by Simon Peyton Jones at 2022-09-07T09:08:08+01:00
Really add mkWpEta

- - - - -
b9f63d8b by Simon Peyton Jones at 2022-09-07T09:08:08+01:00
Wibble Typeable binds etc

- - - - -
810abc60 by Simon Peyton Jones at 2022-09-07T09:08:08+01:00
Improve error messages

- - - - -
781d04d4 by Simon Peyton Jones at 2022-09-07T09:08:08+01:00
More wibbles, mainly to error messages

- - - - -
5bc03a50 by Simon Peyton Jones at 2022-09-07T09:08:08+01:00
Wibbles

- - - - -
a2fd3731 by Simon Peyton Jones at 2022-09-07T09:08:08+01:00
Wibbles to errors

- - - - -
3a1cd022 by Simon Peyton Jones at 2022-09-07T09:08:09+01:00
Wibbles

But especially: treat Constraint as Typeable

- - - - -
b79fd7a0 by Simon Peyton Jones at 2022-09-07T09:08:09+01:00
More wibbles

- - - - -
a1aeb56c by Simon Peyton Jones at 2022-09-07T09:08:09+01:00
More changes

* Move role into SelTyCon
* Get rid of mkTcSymCo and friends

- - - - -
da10c25f by Simon Peyton Jones at 2022-09-07T09:08:09+01:00
Unused variable

- - - - -
652682a8 by Simon Peyton Jones at 2022-09-07T09:08:09+01:00
Wibbles

- - - - -
c2ca818c by Simon Peyton Jones at 2022-09-07T09:08:09+01:00
Wibble

- - - - -
5b3b2379 by Simon Peyton Jones at 2022-09-07T09:08:09+01:00
Accept error message changes

- - - - -
3478c102 by Simon Peyton Jones at 2022-09-07T09:08:09+01:00
Refactoring...

Remove tc functions like tcKind, tcGetTyVar.

Move tyConsOfType, occCheckExpand to TyCo.FVs.

- - - - -
3970b90c by Simon Peyton Jones at 2022-09-07T09:08:09+01:00
Introduce GHC.Core.TyCo.Compare

Lots of import changes!

- - - - -
b4115c58 by Simon Peyton Jones at 2022-09-07T09:08:09+01:00
Update haddock submodule (I hope)

- - - - -
89f9db0e by Simon Peyton Jones at 2022-09-07T09:08:09+01:00
Wibbles (notably: actually add GHC.Core.TyCo.Compare)

- - - - -
3c2229cf by Simon Peyton Jones at 2022-09-07T09:08:09+01:00
Wibbles

- - - - -
9bad1ffc by Simon Peyton Jones at 2022-09-07T09:08:09+01:00
Wibble output of T16575

- - - - -
b70c4da5 by Simon Peyton Jones at 2022-09-07T09:08:09+01:00
Wibbles

- - - - -
1ca63089 by Simon Peyton Jones at 2022-09-07T09:08:09+01:00
More wibbles

- - - - -
c53bf8e7 by Simon Peyton Jones at 2022-09-07T09:08:09+01:00
Remove infinite loop in T1946

See Note [ForAllTy and type equality]

- - - - -
8cbac138 by Simon Peyton Jones at 2022-09-07T09:08:09+01:00
Deal with rejigConRes

Needs a Note to be written by Richard

- - - - -
c71b749e by Simon Peyton Jones at 2022-09-07T09:08:09+01:00
Some renaming

AnonArgFlag -->  FunTyFlag
ArgFlag     -->  ForAllTyFlag

- - - - -
6cd3c8f2 by Simon Peyton Jones at 2022-09-07T09:08:09+01:00
Update haddock submodule

- - - - -
9f1ef41f by Simon Peyton Jones at 2022-09-07T09:08:09+01:00
Rename TyCoBinder to ForAllTyBinder

- - - - -
6b9420b8 by Simon Peyton Jones at 2022-09-07T09:08:09+01:00
Wibbles

- - - - -
0c47a8a6 by Simon Peyton Jones at 2022-09-07T09:08:09+01:00
Update haddock

- - - - -
bcbac282 by Simon Peyton Jones at 2022-09-07T09:08:09+01:00
Wibble

- - - - -
7daff5a9 by Simon Peyton Jones at 2022-09-07T09:11:07+01:00
Update unix submodule

I think I accidentally got it out of sync with HEAD;
this puts it back.

- - - - -

21 changed files:

- .gitlab/ci.sh
- compiler/GHC.hs
- compiler/GHC/Builtin/Names.hs
- compiler/GHC/Builtin/Types.hs
- compiler/GHC/Builtin/Types.hs-boot
- compiler/GHC/Builtin/Types/Literals.hs
- compiler/GHC/Builtin/Types/Prim.hs
- − compiler/GHC/Builtin/Types/Prim.hs-boot
- compiler/GHC/Builtin/Uniques.hs
- compiler/GHC/Core/Coercion.hs
- compiler/GHC/Core/Coercion.hs-boot
- compiler/GHC/Core/Coercion/Opt.hs
- compiler/GHC/Core/DataCon.hs
- compiler/GHC/Core/FVs.hs
- compiler/GHC/Core/FamInstEnv.hs
- compiler/GHC/Core/InstEnv.hs
- compiler/GHC/Core/Lint.hs
- compiler/GHC/Core/Make.hs
- compiler/GHC/Core/Map/Expr.hs
- compiler/GHC/Core/Map/Type.hs
- compiler/GHC/Core/Multiplicity.hs

The diff was not included because it is too large.

View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/33295998c12f4aa50da2ac17545eaa1837ef451a...7daff5a9df7e0bd4ba7b77e49b24004505171357

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/33295998c12f4aa50da2ac17545eaa1837ef451a...7daff5a9df7e0bd4ba7b77e49b24004505171357
You're receiving this email because of your account on gitlab.haskell.org.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-commits/attachments/20220907/88ba89d6/attachment-0001.html>