Stream: Beginner Questions

Topic: Eisbach -

Balazs Toth (Jul 15 2024 at 16:28):

Hi,

I try to do the following with Eisbach (simplified example):

method m uses r  =
  -, rule r

I want to insert the current facts and then apply a rule. But it does not work. The facts are not inserted and rule tries to apply the rule on the original state.
If I do:

apply -
apply(rule r)

it works, but also

apply(-, rule r)

does not work.

What am I doing wrong?

Yutaka Nagashima (Jul 22 2024 at 22:00):

Hi @Balazs Toth ,

Can you share the specific problem you are facing? I suspect it might be related to:

• the semantics of the sequential combinator operator (,), which allows backtracking, and
• the 'angelic' nondeterminism of the rule method.

However, without knowing the exact problem, I cannot be sure.

Regards, Yutaka

Last updated: Dec 21 2024 at 16:20 UTC