heikob2 comments

Repositories
Issues
Comments

Results 3 comments of


                                            heikob2

Fix model checker errors

Hi, i have a look at the model-checker errors in `tests.in.expr.os`: - maybe a bug in the TS: shouldn't be type *number* also be of type *any* [testsuite AlgebraicLanguage::eval()](http://127.0.0.1:63320/node?ref=r%3A109d7958-4308-4f2a-95cb-ea4731803298%28test.in.expr.os.algebraic%40tests%29%2F5955298286257385193) -...

Cannot add TopLevelContents at the end of a Chunk

I observed similar behavior using `Units`: A hotfix could be to provide an intention or allow *CTRL+Enter* at the end of `UnitReference` to create a new empty line.

`TimeDeltaLiteral` accepts only positive numbers, while `DateDeltaLiteral` has no such restriction

Hi, in my opinion also this restriction to "only positive values" makes no sense. Shouldn't both typesystem-rules for `DateDeltaLiteral` and `TimeDeltaLiteral` look the same?