Paul Klint comments

Results 52 comments of


                                            Paul Klint

Missing TypePal calculator for closures with patterns as parameters?

Thanks for the report. Indeed a glitch the code handling closures. Fixed now.

beginsAfter test fails once more (randomly)

Agreed, I have already spent hours on these tests and it is extremely hard to get them 100% right. Let's turn them off and switch to another testing strategy, e.g.,...

could use a simple peephole optimizer

As you know I have good experience writing peephole optimizers directly in Rascal. One could give that a try.

`solve` returns the value of its body, if any

@sungshik thanks for raising this issue and @mahills thanks for your analysis. I completely agree with it. The title "solve returns a value -- sometimes" is a bit misleading and...

Failing test for set difference

Compiled code gives exactly the same problem. Hence this is most probably an issue in `vallang`

Failing test for set difference

As a last observation, the print line gives: `lhs: {,}, rhs: {,}, eq: false, equality(==): false` It is notable that the set elements for `lhs` and `rhs` are printed in...

Implement + splices ("SplicePlus")

This issue is intended to record the situation not to discuss this feature. Nonetheless: in an expression it could mean a list or set insertion of at lest one element.

Typechecker does not throw error on constructor without arguments

Thanks @toinehartman for this clear repo case and thanks @jurgenvinju for pointing in the right direction of the cause of this. Fixed and test added.

Except uses of constructors have no use/def entry in TModel

All these TModel related issues should stay open

Rascal type-checker crashed unexpectedly with: No module scope found for analysis::diff::TextEditsat: |lib://rascal-core/lang/rascalcore/check/Import.rsc|(9426,2,<234,57>,<234,59>)

This is a long overdue improvement that looks simpler than it actually is. Reason: the natural place to check for a non-existing module is the collect rule for import/extend. However,...