diff options
| author | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2019-10-15 14:21:04 +0200 |
|---|---|---|
| committer | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2019-10-15 14:21:04 +0200 |
| commit | 3c1e70ef703a4dcc9cc53215f2acd4ff7f880489 (patch) | |
| tree | 8883805d80506b21de6989670880e870f2a98d45 /typing/TODO.md | |
| parent | 01bdd5bbc4e48d397b3f68940bcc3955a2754e82 (diff) | |
| download | ocaml-3c1e70ef703a4dcc9cc53215f2acd4ff7f880489.tar.gz | |
Make check-typo happy
Diffstat (limited to 'typing/TODO.md')
| -rw-r--r-- | typing/TODO.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/typing/TODO.md b/typing/TODO.md index 5b7c5e14d9..ebd0f99907 100644 --- a/typing/TODO.md +++ b/typing/TODO.md @@ -80,7 +80,7 @@ consensus for all of them. magic "internal" names which should be avoided. - Get rid of -annot. - (see Nicolás' PR) + (see Nicolas' PR) - Consider storing warning settings (+other context) as part of `Env.t`? @@ -101,4 +101,4 @@ consensus for all of them. and/or kill dead code in the typechecker to increase coverage ratio. (Partially done by Oxana's Outreachy internship. See PR#8874. - Ask Florian Angeletti and Sébastien Hinderer about the current state.) + Ask Florian Angeletti and Sebastien Hinderer about the current state.) |