-
Notifications
You must be signed in to change notification settings - Fork 0
Open
Labels
bug 🐛Something isn't working as expectedSomething isn't working as expected
Description
example:
public clock x := 0;
public clock y := 0_ms;
will not evaluate to a clock variable. It will evaluate to an int:
evaluated:
x :-> 0 i
y :-> 0 c
The clock keyword is being ignored in favour of the right-hand-side expression...
You can even do this:
clock x := "test"
and it will work.
We should throw an exception if the RHS and type specification does not match (or cannot be implicitly converted).
essentially, all TYPEs are treated as auto at the moment
Metadata
Metadata
Assignees
Labels
bug 🐛Something isn't working as expectedSomething isn't working as expected