Skip to content

Remove the `default` notation for options

Ralf Jung requested to merge ralf/default into master

The notation was parsing-only and all it did was reorder the arguments for from_option. This creates just a needless divergence between what is written and what is printed. Also, removing it frees the name for maybe introducing a function or notation default with a type like T -> option T -> T.

I volunteer to fix all reverse deps that we know about.

Merge request reports