script.kps 845 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
interim    
Sarah Grebing committed
7
8
9
    case match `q==>`:
      impRight;
      notRight;
10

Sarah Grebing's avatar
Sarah Grebing committed
11
    case match `==>`:
Sarah Grebing's avatar
interim    
Sarah Grebing committed
12
13
      impRight;
      notRight;
14
      close;
Sarah Grebing's avatar
interim    
Sarah Grebing committed
15
    }
16
17
18

        auto;

Sarah Grebing's avatar
interim    
Sarah Grebing committed
19
20
21
}


22
script test(){
23

24
25
26
27
}

script test1(){
  impRight;
Sarah Grebing's avatar
Sarah Grebing committed
28
  impRight;
29
}
Sarah Grebing's avatar
interim    
Sarah Grebing committed
30
31
32
33
34
35
36
37
38

script test_2(){
impRight;
impLeft;
cases{
    case match `q ==> ?X -> ?Y`:
      impRight;

}
39
}
Sarah Grebing's avatar
interim    
Sarah Grebing committed
40

41
42
43
44
45
46
47
48
49
50
51
script test2(){
impRight;
impLeft;
cases{
    case match `?X -> ?Y ==> not(?Z)`:
      notLeft;
    default:
      notRight;
}

}
Sarah Grebing's avatar
Sarah Grebing committed
52
53
54
55
script cpClosable(){
    impRight;
    impRight;
    cases{
56
57
58
59

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

60
        try:
Sarah Grebing's avatar
Sarah Grebing committed
61
62
63
64
65
66
            notLeft;
            notRight;
            replace_known_left occ='2';
            concrete_impl_1;
            close;

67
        default:
Sarah Grebing's avatar
Sarah Grebing committed
68
            auto;
69

Sarah Grebing's avatar
Sarah Grebing committed
70
    }
71
}