script.kps 655 Bytes
Newer Older
1
2
// Please select one of the following scripts.
//
Sarah Grebing's avatar
Sarah Grebing committed
3
script test23(){
Sarah Grebing's avatar
interim    
Sarah Grebing committed
4
5
6
impRight;
impLeft;
cases{
Sarah Grebing's avatar
Sarah Grebing committed
7
    case match `==>`:
Sarah Grebing's avatar
interim    
Sarah Grebing committed
8
9
10
11
12
      impRight;
      notRight;
}


13
script test(){
14

15
16
17
18
}

script test1(){
  impRight;
Sarah Grebing's avatar
Sarah Grebing committed
19
  impRight;
20
21
22
23
24
25
26
27
28
29
30
31
}
script test2(){
impRight;
impLeft;
cases{
    case match `?X -> ?Y ==> not(?Z)`:
      notLeft;
    default:
      notRight;
}

}
Sarah Grebing's avatar
Sarah Grebing committed
32
33
34
35
script cpClosable(){
    impRight;
    impRight;
    cases{
36
37
38
39

       case match `?X -> ?Y ==> not(?Z)`:
            notLeft;

40
        try:
Sarah Grebing's avatar
Sarah Grebing committed
41
42
43
44
45
46
            notLeft;
            notRight;
            replace_known_left occ='2';
            concrete_impl_1;
            close;

47
        default:
Sarah Grebing's avatar
Sarah Grebing committed
48
            auto;
49

Sarah Grebing's avatar
Sarah Grebing committed
50
    }
51
}