diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/users_guide/8.12.1-notes.rst | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/docs/users_guide/8.12.1-notes.rst b/docs/users_guide/8.12.1-notes.rst index 4d151d0ab1..2d142800ca 100644 --- a/docs/users_guide/8.12.1-notes.rst +++ b/docs/users_guide/8.12.1-notes.rst @@ -69,6 +69,16 @@ Language There is a chance we will tweak the lookup scheme in the future, to make this workaround unnecessary. +* GHC now consistently does eager instantiation during type inference. + As a consequence, visible type application (VTA) now only works when + the head of the application is: + * A variable + * An expression with a type signature + For example `(let x = blah in id) @Bool True` no longer typechecks. + You should write `let x = blah in id @Bool True` instead. + + This change prepares the way for Quick Look impredicativity. + Compiler ~~~~~~~~ |