Skip to content
GitLab
Explore
Sign in
Register
Overview
Active
Stale
All
wip/romes/eqsat-pmc
9464dfc7
·
Compiler working with e-graph
·
Jun 11, 2023
wip/T23176
4f3e4f33
·
Use tcInferFRR to prevent bad generalisation
·
Jun 11, 2023
wip/zliu41/sm_builtin_rules
a780d7c1
·
sm_builtin_rules
·
Jun 11, 2023
wip/sand-witch/DIB-instances
7592badc
·
Implement the -Wimplicit-rhs-quantification warning (#23510)
·
Jun 12, 2023
wip/bang-20204
bd817166
·
Fix unusable unpack warning on UnliftedType
·
Jun 12, 2023
wip/t23511
d6528a1e
·
ci: Add dependenices on necessary aarch64 jobs for head.hackage ci
·
Jun 12, 2023
wip/global-local-mismatch-info
0b6c1bf0
·
Lint: more details on "Occurrence is GlobalId, but binding is LocalId"
·
Jun 12, 2023
wip/sand-witch/dib-instances
c7f10435
·
Type/data instances: require that variables on the RHS are mentioned on the LHS (#23512)
·
Jun 12, 2023
wip/supersven/cleanup_mkSpillInstr_mkLoadInstr
fa6aa02f
·
Minor refactorings to mkSpillInstr and mkLoadInstr
·
Jun 12, 2023
wip/supersven/fix_trivColorable_aarch64
c1261152
·
Fix number of free double regs
·
Jun 12, 2023
wip/issue-23516
3b4678e3
·
Add `IfaceWarnings` to represent the `ModIface`-storable parts
·
Jun 13, 2023
wip/int-index/th-code-saks
710e5ab4
·
Add standalone kind signatures for Code and TExp
·
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/T23047
3e217ace
·
Provide a demand signature for atomicModifyMutVar.# (#23047)
·
Jun 13, 2023
wip/int-index/caneqnc-deep-forall
aabd7472
·
Check visibility of nested foralls in can_eq_nc (#18863)
·
Jun 13, 2023
wip/sand-witch/DIB-INSTANCES
6c31adf0
·
Remove arity inference in type declarations (#23514)
·
Jun 14, 2023
wip/sized-literals-deriving
fdabd0b2
·
Change 'deriving Show' to use extended literals
·
Jun 14, 2023
wip/T23509
5d3ab48b
·
Fix test T18522-deb-ppr
·
Jun 14, 2023
wip/int-index/vis-flag-tests
84d31c6e
·
testsuite: Add forall visibility test cases
·
Jun 15, 2023
wip/ozkutuk/sprint-fun
4d3f1d67
·
Disambiguate closures' printing from thunks (#23507)
·
Jun 15, 2023
Prev
1
…
203
204
205
206
207
208
209
210
211
…
243
Next