Skip to content
GitLab
Explore
Sign in
Register
sheaf
GHC
Repository
Branches
Overview
Active
Stale
All
T17201
e6e276dd
·
Use Concrete# for defaulting of RuntimeReps
·
Oct 28, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
T17536
a8f57938
·
Don't default type variables in type families
·
Oct 26, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
T20521
4f036c10
·
Use tcEqType in GHC.Core.Unify.uVar
·
Oct 21, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
runtime-reps
4bdb1d2d
·
Introduce Concrete# for representation polymorphism checks
·
Oct 15, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
T20396
da05feff
·
Set logger flags in --backpack mode
·
Oct 13, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
runtime-reps-2
8c3fa66f
·
Introduce Concrete# for representation polymorphism checks
·
Oct 08, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
GADT-arrows
4f6c083a
·
Reject GADT pattern matches in arrow notation
·
Oct 06, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
T20465
bf216a34
·
Improve overlap error for polykinded constraints
·
Oct 05, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
T13233-test
9dc5331e
·
Add a regression test for #13233
·
Oct 05, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
T20043
c3524b0e
·
Bump TcLevel of failing kind equality implication
·
Oct 04, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
T17723
c9352b17
·
Add a regression test for #17723
·
Oct 04, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
hs-boot-bugs
9fd3a5e2
·
small change to cause bug in T10083
·
Sep 06, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
too-many-iters
09ae6b0e
·
Trim the "too many iterations" error
·
Aug 28, 2021
ghc/ghc!6449
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
derived-refactor-2
8d7748d8
·
finish rebasing
·
Aug 27, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
wip/derived-refactor
8d7748d8
·
finish rebasing
·
Aug 27, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
tcplugins
f1708665
·
TcPlugins: solve and report contras simultaneously
·
Aug 23, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
check-type-error
1bd6a2ba
·
Don't look for TypeError in type family arguments
·
Aug 18, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
tcperf-fragile
f6bed28e
·
Update TcPlugin_RewritePerf performance test
·
Aug 15, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
pat-type-error
63bc9f61
·
Detect TypeError when checking for insolubility
·
Aug 14, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
reduction
9ff20c5b
·
Use Reductions to keep track of rewritings
·
Aug 04, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
…
7
8
9
10
11
12
13
14
15
…
79
Next