search

ocamllabs / ocaml-modular-implicits

OCaml extended with modular implicits
Other
103 stars 8 forks source link

Change the syntax of implicit parameters #39

Closed lpw25 closed 9 years ago

lpw25 commented 9 years ago

Change the syntax for implicit parameters (in both functions and implicit functors) from:

(implicit M : Monad) -> t

to:

{M : Monad} -> t

for the sake of brevity. This addresses #13.

yallop commented 9 years ago

Excellent!