SPICE-0026: Power Assertions #29
Conversation
bioball
force-pushed
the
power-asserts
branch
2 times, most recently
from
d9e8369 to
0a6bedf
Compare
bioball
force-pushed
the
power-asserts
branch
from
0a6bedf to
b56bebf
Compare
| ---- | ||
|
|
||
| Literal values include stdlib types like IntSeq, List, Map whose members are also literal. | ||
| Here, `List(1, 2, 3)` is excluded because it's considered a literal: |
There was a problem hiding this comment.
Does this also work for Map()? What about Listing of literals?
There was a problem hiding this comment.
Yup, already mentioned Map on line 127.
Didn't include this for objects, because there's a lot of sugar that can happen with object literals. But, maybe we can support this for objects that have explicitly declared types, e.g. new Listing { 1; 2; 3 }.
|
|
||
| [source,pkl] | ||
| ---- | ||
| assert(1 == 2) |
There was a problem hiding this comment.
I know this a future direction, but would assert short circuit if it fails, like throw?
If so it has the same problem as throw, which is, it doesn't compose.
If we can solve this, we'd be able to replace throw as the way to show custom messages.
There was a problem hiding this comment.
I don't think this would be the replacement for throw, but, I'm also not sure if this should be short-circuiting or not.
2 participants
Reference implementation: apple/pkl#1384