Peter W. V. Tran-Jørgensen
Peter W. V. Tran-Jørgensen
I'm trying to `pdfocr` the file but each page takes several seconds to convert so it will take a while. I have no idea if this will work, but it's...
I have looked a bit more into this. Since functions are working and operations are not I tried to compare the caseALetStm and caseALetDefExp cases in the PogParamStmVisitor and the...
Are you thinking of whether it is possible to update the `POLetDefContext` to work with both `let` expressions and `let` statements? If you look into the `POLetDefContext` class you will...
Considering the last spec, which allegedly is causing problems for the type checker, the code generator seems to work. I should say that I had to comment out the instance...
I can confirm this. Kenneth and I can produce this on my machine too.
Very good. Thanks for your input, Peter
Thanks for reporting. I can confirm that this problem is present in both Overture 2.6.2 and VDMJ.
Thanks for explaining. Strictly speaking the interpreter should be able to evaluate the expression, I think we can agree on that. But then again I can't convince myself that writing...
We should probably change the sending/receiving of the breakpoint to use a job (another thread) so that it does not block the UI.
I'm questioning whether this is actually worthwhile doing. I mean, why complicate type-checking just so we can handle non-sense expressions? After all, isn't it more correct to report a warning?