|
dc8548cd
|
Takenobu Tani
|
Clean up module paths after #13009
See also https://gitlab.haskell.org/ghc/ghc/-/wikis/Make-GHC-codebase-more-modular
|
|
|
e6a9cedd
|
Simon Peyton Jones
|
Update type checker
|
|
|
13ee9668
|
Takenobu Tani
|
Update links for source code
This fix using `sed -i -e 's#/trac/ghc/browser/ghc/#https://gitlab.haskell.org/ghc/ghc/blob/master/#g'`
|
|
|
b520bcd5
|
Ben Gamari
|
Update type checker
|
|
|
56738617
|
Ben Gamari
|
Rewrite superfluous issue links
Many issues in the wiki were unnecessarily links:
```
... patch posted in [\#1346](https://gitlab.haskell.org/ghc/ghc/issues/1346).
```
This rewrites these as `#1346` using
```bash
sed -i -r -e 's/\[\\#([0-9]+)\]\([^)]+\/\1\)/#\1/g' $(find -iname '*.md')
```
And manually eyeballing the result.
|
|
|
6530fd1d
|
Tobias Dammers
|
Fix markdown link syntax
|
|
|
cc1a7a6a
|
Tobias Dammers
|
Re-run import
|
|
|
8d2d9a9f
|
Tobias Dammers
|
Remove leading space from markdown link labels
|
|
|
27dcc03a
|
Tobias Dammers
|
Convert some code links
|
|
|
a9aa09ee
|
Adam Gundry
|
Edit Plugins/TypeChecker
|
|
|
ae8c9cb6
|
Adam Gundry
|
Add list of issues matching TypeCheckerPlugins keyword
|
|
|
e5ed24e9
|
Adam Gundry
|
update status of Phab:D909 and make clear which changes have been implemented
|
|
|
4d31a7e8
|
Adam Gundry
|
thoughts about evidence
|
|
|
a66679fc
|
goldfire
|
Edit Plugins/TypeChecker
|
|
|
f580d6ea
|
Adam Gundry
|
embedding CoreExpr in EvTerm
|
|
|
c77bd2a7
|
Adam Gundry
|
Phab:D909
|
|
|
be6b41bd
|
Adam Gundry
|
making TcPluginM wrap TcS turns out to be hard
|
|
|
a72bd78d
|
Adam Gundry
|
propose additions to plugins API
|
|
|
d057ec2a
|
Adam Gundry
|
some more applications
|
|
|
3850bf19
|
Adam Gundry
|
add applications section
|
|
