Skip to content
GitLab
Explore
Sign in
Register
Anselm Schüler
GHC
Repository
Branches
Overview
Active
Stale
All
fix-applyWhen-proof
1ded34ad
·
Fix incorrect proof of applyWhen’s properties
·
Jul 14, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
clc-prop-71-applyWhen-impl
36fba0df
·
Add applyWhen to Data.Function per CLC prop
·
Jul 04, 2022
ghc/ghc!8529
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
wip/romes/ttg-prune
46b471f3
·
Fix exact printing of the HsRule name
·
Jun 24, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
wip/andreask/ww_othercon
aa45308c
·
Don't mark lambda binders as OtherCon
·
Jun 24, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
wip/js-staging
f6286c72
·
Fix MK_JSVAL
·
Jun 24, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
wip/hadrian-readme
e825ade8
·
hadrian: Update main README page
·
Jun 24, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
wip/th-bump
a8d42e5e
·
template-haskell: Bump version to 2.19.0.0
·
Jun 24, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
wip/T17615
e3676a47
·
simplify: Disable case-of-known-constructor with wide products
·
Jun 23, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
wip/T21164
bbdb3c38
·
hadrian: Rename documentation directories for consistency with make
·
Jun 23, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
wip/az/T21355-exactprint-update
4bbeb7fb
·
Update the check-exact infrastructure to match ghc-exactprint
·
Jun 23, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
wip/T20735
5e4ba1f8
·
testsuite: Add test for #20735
·
Jun 23, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
wip/T21778
94787470
·
configure: Only probe for LD in FIND_LD
·
Jun 23, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
wip/T21753
ca8eeedb
·
gen-dll: Drop it
·
Jun 23, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
wip/T21760
962352ee
·
testsuite: Hide output from test compilations with verbosity==2
·
Jun 23, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
wip/andreask/late_cc
d19180ea
·
Fix typos
·
Jun 23, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
wip/17594-another-approach-desugaring
a6873f6b
·
desugaring checkpoint
·
Jun 23, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
wip/17594-another-approach-typecheck
a4d4a22d
·
type checker checkpoint
·
Jun 23, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
wip/validate-ide-info-fixes
42144318
·
testsuite: Factor out common parts from hiefile tests
·
Jun 23, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
wip/neg_desugar
9870706a
·
desugar: Look through ticks when warning about possible literal overflow
·
Jun 23, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
wip/17594-another-approach
7094c2b1
·
parser and renamer checkpoint
·
Jun 23, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
2
3
4
5
…
161
Next