Tag inference - take 3

Hopefully this works as is, but if seen some inconsistencies when doing the cabal test.

So let's see if this was a mistake on my side or a problem with the code.

Addresses #16970 (closed)

added 1 commit

• ae7e5ed5 - Remove trace msgs

Compare with previous version

added 1 commit

• 1db28f4c - Comment out unused import

Compare with previous version

added 2 commits

• 4f575045 - Add newline at EOF to make linter happy
• f525f4b8 - Fix more linter issues

Compare with previous version

added 39 commits

• f525f4b8...e61d2d47 - 36 commits from branch master
• 1ad9aefd - Tag inferrence work.
• 99602329 - WIP commit - fixing inference bug
• 6f970efd - TagInferece: Proberly scope the IdMap for the rewrite pass.

Compare with previous version

added 2 commits

• 5bed5f7e - Tag inferrence work.
• 6939291b - Refactor how we decide between absentError and RubbishLit

Compare with previous version

For simplicities sake I included the fix from !5641 (closed) for now as a separate commit.

mentioned in merge request !1472 (closed)

mentioned in merge request !4742 (closed)

added 4 commits

• 8e4f029a - Refactor how we decide between absentError and RubbishLit
• 03c7125b - Tag inferrence work.
• a591564d - Another cleanup pass
• 1bd6b99e - Remove unused extension points

Compare with previous version

Blocked on #19789 (closed) currently. (This has been resolved).

added 2 commits

• 586306fc - check for nullary cons before checking env
• 6cf67538 - Workaround for #19789 (closed)

Compare with previous version

added 1 commit

• 4883ff8f - Workaround for #19789 (closed)

Compare with previous version

marked this merge request as ready

I have not done a detailed review, but looks as if it is going in the right direction. Let me know when you want me to look more carefully

added 1 commit

• 74511ef8 - Expand tag inference notes

Compare with previous version

added 1 commit

• b5db0ceb - Expand tag inference notes

Compare with previous version