mirror of
https://github.com/microsoft/regorus.git
synced 2026-08-05 02:16:11 +00:00
Support "var = value", "value = var", and "var = var" Fall back the '=' to comparsion when both operators are defined Correctly support variable shadowing with "var := value" Also, remove the unused Variable struct Signed-off-by: Ming-Wei Shih <mishih@microsoft.com>
55 lines
954 B
YAML
55 lines
954 B
YAML
# Copyright (c) Microsoft Corporation.
|
|
# Licensed under the MIT License.
|
|
|
|
cases:
|
|
- note: basic
|
|
data: {}
|
|
modules:
|
|
- |
|
|
package test
|
|
|
|
default x = 5
|
|
|
|
y := "string"
|
|
|
|
assign_rule_forward = v {
|
|
v = [1, 2, 3]
|
|
}
|
|
|
|
assign_rule_reverse = w {
|
|
{9, 8, 7} = w
|
|
}
|
|
|
|
assign_rule_shadowing = x {
|
|
x := 10
|
|
}
|
|
|
|
assign_comparison_true {
|
|
x = 100
|
|
}
|
|
|
|
assign_comparison_reverse_true {
|
|
100 = x
|
|
}
|
|
|
|
assign_comparison_false {
|
|
x = 20
|
|
}
|
|
|
|
assign_comparison_reverse_false {
|
|
20 = x
|
|
}
|
|
|
|
x = 100
|
|
|
|
query: data.test
|
|
want_result:
|
|
x: 100
|
|
y: "string"
|
|
assign_rule_forward: [1, 2, 3]
|
|
assign_rule_reverse:
|
|
set!: [9, 8, 7]
|
|
assign_rule_shadowing: 10
|
|
assign_comparison_true: true
|
|
assign_comparison_reverse_true: true
|