Skip to content
GitLab
Explore
Sign in
Register
Alfredo Di Napoli
GHC
Repository
Branches
Overview
Active
Stale
All
wip/adinapoli-hints-design
c5ca6a2d
·
Extensible Hints for diagnostic messages
·
May 05, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
adinapoli/introduce-error-domain-specific-types
b613bc49
·
Rebase fallout
·
Apr 06, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
master
default
protected
247684ad
·
Bignum: remove unused extra files
·
Apr 05, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
wip/adinapoli-introduce-error-domain-specific-types
60a29266
·
Use the new error infrastructure
·
Mar 30, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
wip/adinapoli-suppress-warning-design-a
b5d83bf7
·
Minor style adjustment
·
Mar 09, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
wip/adinapoli-diag-reason-severity
8417debb
·
Get rid of reclassify in GHC.Tc.Errors
·
Mar 08, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
wip/adinapoli-message-class-new-design
6fbbac63
·
Get rid of one usage of reclassify
·
Mar 01, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
wip/adinapoli-message-class-part-2
f8dddbf3
·
Fix CountAsDeps test
·
Feb 23, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
adinapoli/error-selection-experiment-diagclass
dd77bcdd
·
Add a mkTcRnDiagnostic function
·
Feb 16, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
adinapoli/message-class-part-2
e815ac85
·
Refactor GHC.Tc.Errors
·
Feb 15, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
adinapoli/message-class
936d5abf
·
Code review changes
·
Feb 04, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
adinapoli/rae-simplify-errors
e2822d33
·
Fix T7478,T8537,T10504 and T7169 tests
·
Feb 02, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
adinapoli/remove-errdoc
67987814
·
Introduce the DecoratedSDoc type
·
Feb 01, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
adinapoli/introduce-error-domain-specific-types-perf-hunt
8c3014dd
·
Strip everything to the bones
·
Jan 28, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
adinapoli/rae-impro2
e753973a
·
Disable traceFile
·
Jan 27, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
adinapoli/rae-improvements
f5f7a4bc
·
Try in a different way
·
Jan 25, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
adinapoli/unify-messages
dabfa947
·
Fix tests relying on same-line diagnostic ordering
·
Jan 19, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
adinapoli/convert-parser-error-types
7814e0a9
·
WIP: Make a start
·
Jan 12, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
adinapoli/remove-errshortstring
1efd006a
·
Remove errShortString, cleanup error-related functions
·
Jan 04, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
adinapoli/error-adts-avoid-boot-modules
39d7b263
·
Split Driver.Env module
·
Dec 17, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
2
3
4
5
…
32
Next