-
Notifications
You must be signed in to change notification settings - Fork 9
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
GNU Guile fails test suite #37
Comments
The |
…e-basics`, `rewrite-lists` and `rewrite-refine-abstract`. The reason these cases failed was that `equal?` is broken in _Guile_ for cyclic entities which eventually caused the equality checks of the test infrastructure to fail (these tests ensured that only certain attributes are re-evaluated). The Petri net composition tests (`purchase-processing` and `runtime-structure-example-slide`) still fail because place fusion is not performed correctly. It looks like this is also due to _Guile's_ broken `equal?` implementation and resulting issues with the circular evaluation of the `fused-places` attribute.
To fix the Petri net composition tests ( Regarding the failed Petri net test cases, the circularity cache used for the evaluation of the |
The issues of |
Since commit 8cb1b57 the composed Petri net examples are excluded from RACR's test suite for GNU Guile. |
Regarding to issue #55, the problems of GNU Guile may also be due to its |
Status updateCurrently the following tests are failing for GNU Guile:
The reason for GNU Guile to fail is the usage of circular record entities (AST nodes) as arguments for cached parameterised attributes; since GNU Guile's |
…rtain Scheme system from execution when running all tests via 'tests/execute-bash'. The feature is used to exclude some tests for GNU Guile which fail because of its erroneous equal? implementation.
Since GNU Guile 3.0.2, the failing tests do not always fail with stack overflows anymore, but sometimes just do not terminate. The tests failing are still:
but now additional Because of the now non-terminating behaviour for some of these tests, a need to exclude them for GNU Guile was needed. For RACR libraries, like the composed Petri nets, this already can be and is done in the library configuration. But for the simple source code file tests like The rationale why GNU Guile fails some tests is still the same: GNU Guile does not support cycle safe |
GNU Guile fails some of the rewrite and Petri net tests (
rewrite-basics
,rewrite-lists
,rewrite-refine-abstract
,purchase-processing
,runtime-structure-example-slide
).Further investigation for the reasons and fixes, if it is not an implementation error of GNU Guile, are required.
Note: Other R6RS Scheme systems pass these tests; most likely GNU Guile is bugged.
The text was updated successfully, but these errors were encountered: