Skip to content
Snippets Groups Projects
Closed `dom` should not require a type annotation for the return type
  • View options
  • `dom` should not require a type annotation for the return type

  • View options
  • Closed Issue created by Paolo G. Giarrusso

    For almost all uses, the return type of dom should be inferrable from the source type, so we should change the setup appropriately.

    The only exception is taking, say, the dom coPset of a gmap — but that's only used once in Iris (or clients, according to @jung), and clients can convert the resulting gset to a coPset if they want.

    Linked items ... 0

  • Activity

    • All activity
    • Comments only
    • History only
    • Newest first
    • Oldest first
    Loading Loading Loading Loading Loading Loading Loading Loading Loading Loading