We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent ed314e2 commit ef05e82Copy full SHA for ef05e82
CHANGES.md
@@ -4,7 +4,11 @@ Language:
4
- Change CHR syntax now accepts any term in eigen variables position `E` in
5
sequent `E : _ ?- _`. Meaningful terms are lists or unification variables
6
- Change CHR eigen variables are a list of names (used to be an integer)
7
+
8
+Runtime:
9
- Fix CHR relocation/scope-checking for new goals
10
+ - Fix relocation error in unification on non-linear patterns with locally
11
+ bound variables
12
13
# v1.18.2 (January 2024)
14
0 commit comments