Closed ninaandrup closed 2 years ago
@JonathanStarup Can you take a look?
@ninaandrup Do you get any errors or what do you mean by it does not work?
I get a couple of errors.
Missing implementation of 'lessEqual' required by class 'PartialOrder'.
46 | instance PartialOrder[Sign] {
^^^^^^^^^^^^
missing implementation
And from main
>> Parse Error: Invalid input ';', expected "ref", "reify", "reifyBool", "reifyType", "reifyEff", LegalLetter, ':', "->", ArgumentList, '[', '.', "::", ":::", Op, '`', "<+>" or ** (line 105, column 22):
query p select (r; v) from LocalVar(r; v) |> println;
Because of the ;
in (r; v)
.
What's involved in rolling out a new version of the website? I just ran into this and spent a while debugging, started putting together a PR to fix the website, and then found that it had already been fixed. Would be nice to save someone else the same busywork.
While I'm here: any reason why we implement Eq
etc by hand instead of simply using with
?:
enum Sign with Boxable, Eq, Order, ToString {
While I'm here: any reason why we implement
Eq
etc by hand instead of simply usingwith
?:enum Sign with Boxable, Eq, Order, ToString {
Don't know.
But, Ill look into uploading the new version.
Updated!
I cannot get the example to work, when I copy it into VS code.