search

links-lang / links

Links: Linking Theory to Practice for the Web
http://www.links-lang.org
Other
332 stars 42 forks source link

Hand refactor Option -> Maybe, fixing #1116 #1131

Closed jamescheney closed 2 years ago

jamescheney commented 2 years ago

Just a quick search and replace, no attempt has been made to check the changed examples still work yet...

jamescheney commented 2 years ago

The big changes will be in prelude.links, core/lib.ml, and lib/js/jslib.js.

Good point. I looked over prelude.links and didn't see any occurrence of Option, None, or Some. There are a few in lib.ml and jslib.js (in the latter, Some and None are used for the JS version of the attribute library function, but in lib.ml the Just/Nothing constructors are used...)

jamescheney commented 2 years ago

Ready for review, though the interpreter check seems to have failed for a random reason (something to do with opam credentials)