—————————————–
stratego> import foo
stratego> l2(l1)
“baap”
stratego> l2(l1(baap))
application of l2/(1,0) failed due to an internal error
command failed
stratego> l1(baap)
“baap”

---

module foo
strategies

l2(s : (a -> a) * a -> a) = s(baap)
l1(s) = s

beep = !“beep”

baap = !“baap”

Submitted on 1 March 2006 at 16:08