diff options
| author | Alexander Regueiro <alexreg@me.com> | 2018-02-04 21:28:29 +0000 |
|---|---|---|
| committer | Who? Me?! <mark-i-m@users.noreply.github.com> | 2018-02-04 21:46:26 -0600 |
| commit | 198054ea5305132757dcf94f6522871990373891 (patch) | |
| tree | 312a12b4ab8aee09361ca59b20d4e451593c88e4 /src/doc | |
| parent | c45b135799d6263d4df7bcdb7fa14f13c78b8007 (diff) | |
| download | rust-198054ea5305132757dcf94f6522871990373891.tar.gz rust-198054ea5305132757dcf94f6522871990373891.zip | |
Explained what HM type inference is.
Diffstat (limited to 'src/doc')
| -rw-r--r-- | src/doc/rustc-dev-guide/src/type-inference.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/doc/rustc-dev-guide/src/type-inference.md b/src/doc/rustc-dev-guide/src/type-inference.md index ef97e59d860..2cc922c7656 100644 --- a/src/doc/rustc-dev-guide/src/type-inference.md +++ b/src/doc/rustc-dev-guide/src/type-inference.md @@ -1,7 +1,7 @@ # Type inference -The type inference is based on standard HM-type inference, but -extended in various way to accommodate subtyping, region inference, +The type inference is based on the standard Hindley–Milner (HM) system, +but extended in various way to accommodate subtyping, region inference, and higher-ranked types. ## A note on terminology |