Branches · Yiyun Liu / GHC · GitLab

uniq-away-id-binder-in-lint

f1a37292 · Switch from TCvSubst to Subst to allow skolem escape checks for case · May 25, 2022
subst-ancestor

ed37027f · [base] Fix the links in the Data.Data module · May 26, 2022
fix-flavour-doc

722814ba · Use <br> instead of newline character · Jun 10, 2022

ghc/ghc!8443
tcvsubst-to-subst2

c4ead7f5 · Remove redundant comments · Jun 12, 2022
tcvsubst-to-subst

0166e79b · Remove getSubst · Jun 14, 2022
expr-folder.backup

8f1493c0 · Optimize go_alts case in foldExpr · Jul 05, 2022
expr-folder-ancestor

46050534 · Fix a scoping bug in the Specialiser · Jul 09, 2022
expr-folder

cb26b50c · Add comments · Jul 11, 2022

!3
remove-tcvsubst3.backup

ebb84b09 · Generalize Note [Substituting types and coercions] · Jul 19, 2022
expr-folder-no-fv

f655477f · Fix go_corerule and go_exprs · Jul 26, 2022
master default protected

9ea29d47 · Regression test for #21848 · Jul 26, 2022
master-placebo-test

6374cf3d · test · Jul 27, 2022

!6
remove-tcvsubst-local

2e7bfbfd · Minor tweak on Note · Aug 01, 2022
remove-tcvsubst-new

0ec7b30c · Remove TCvSubst and use Subst for both term and type-level substitution · Aug 01, 2022
existential

3fc64b02 · save · Aug 01, 2022

!1
remove-tcvsubst3

52bf5da1 · Remove TCvSubst and use Subst for both term and type-level subst · Aug 02, 2022
expr-folder-mr-debug-perf

171461dd · Add f0, f1 for debugging · Aug 11, 2022
expr-folder-mr-backup

b5ca0c74 · Remove redundant do_tcv · Aug 15, 2022

!5
expr-folder-mr-tmp

add03eaa · Reduce unused foldExpr functions · Aug 17, 2022
expr-folder-record-slow

22083634 · Generalize shallowTcvFolder to shallowTcvFolderSome · Aug 27, 2022