Dotty: documentation is missing polymorphic functions

Created on 20 Nov 2019  路  2Comments  路  Source: lampepfl/dotty

https://dotty.epfl.ch/docs/reference/overview.html says

Polymorphic Function Types generalize polymorphic methods to dependent function values and types. Current status: There is a proposal, and a prototype implementation, but the implementation has not been finalized or merged yet.

but the implementation has been merged (#4672)

and the outline at https://dotty.epfl.ch/docs/index.html doesn't mention them

cc @milessabin

bug
Source
picture SethTisue
👍1

Most helpful comment

This is intentional, they won't be documented until they're fully implemented (I still haven't implemented type inference for them).

picture smarter on 20 Nov 2019
👍3

All 2 comments

This is intentional, they won't be documented until they're fully implemented (I still haven't implemented type inference for them).

smarter picture smarter on 20 Nov 2019
👍3

Should we close since #10663 was merged?

griggt picture griggt on 8 Dec 2020
👍1
Was this page helpful?
0 / 5 - 0 ratings

Related issues

andreaTP picture andreaTP  路  3Comments
smarter picture smarter  路  3Comments
julienrf picture julienrf  路  3Comments
mcku picture mcku  路  3Comments
fommil picture fommil  路  3Comments