Skip to content
GitLab
Explore
Sign in
Register
Overview
Active
Stale
All
wip/sand-witch/dib-INSTANCES
aedfd0ef
·
Draft: Type/data instances: require that the instantiation is determined by the LHS alone (#23515)
·
Jun 15, 2023
wip/lint-occ-bndr-name-mismatch
536f93a1
·
Lint: check more invariants across occurence & binding sites
·
Jun 15, 2023
wip/int-index/vis-flag-tests
e51ebc8d
·
testsuite: Add forall visibility test cases
·
Jun 15, 2023
wip/ozkutuk/sprint-fun
4d3f1d67
·
Disambiguate closures' printing from thunks (#23507)
·
Jun 15, 2023
wip/sand-witch/#16635-improve-errors
78cd1132
·
Report scoped kind variables at the type-checking phase (#16635)
·
Jun 15, 2023
wip/T23509
5d3ab48b
·
Fix test T18522-deb-ppr
·
Jun 14, 2023
wip/sized-literals-deriving
fdabd0b2
·
Change 'deriving Show' to use extended literals
·
Jun 14, 2023
wip/js-th
ffe3e5c1
·
JS: always recompile when TH is enabled (cf #23013)
·
Jun 14, 2023
wip/sand-witch/DIB-instances
17b2cd17
·
Implement the -Wimplicit-rhs-quantification warning (#23510)
·
Jun 14, 2023
wip/int-index/caneqnc-deep-forall
aabd7472
·
Check visibility of nested foralls in can_eq_nc (#18863)
·
Jun 13, 2023
wip/T23047
3e217ace
·
Provide a demand signature for atomicModifyMutVar.# (#23047)
·
Jun 13, 2023
wip/T23176
4b89bb54
·
Use tcInferFRR to prevent bad generalisation
·
Jun 13, 2023
wip/T20138
46884ca9
·
Simplifier: Combine identical alts using local equalities and unfoldings (#20138)
·
Jun 13, 2023
wip/js-InfiniteListFusion
7abd2151
·
JS: remove js_broken(22576) in favour of the pre-existing wordsize(32) condition (#22576)
·
Jun 13, 2023
wip/int-index/th-code-saks
710e5ab4
·
Add standalone kind signatures for Code and TExp
·
Jun 13, 2023
wip/global-local-mismatch-info
636b3e10
·
Lint: more details on "Occurrence is GlobalId, but binding is LocalId"
·
Jun 12, 2023
wip/supersven/cleanup_mkSpillInstr_mkLoadInstr
fa6aa02f
·
Minor refactorings to mkSpillInstr and mkLoadInstr
·
Jun 12, 2023
wip/t23511
d6528a1e
·
ci: Add dependenices on necessary aarch64 jobs for head.hackage ci
·
Jun 12, 2023
wip/bang-20204
bd817166
·
Fix unusable unpack warning on UnliftedType
·
Jun 12, 2023
wip/zliu41/sm_builtin_rules
a780d7c1
·
sm_builtin_rules
·
Jun 11, 2023
Prev
1
2
3
4
5
6
7
8
9
…
202
Next