script.kps 814 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
Sarah Grebing committed
4 5 6
impRight;
impLeft;
cases{
Sarah Grebing's avatar
Sarah Grebing committed
7 8 9
    case match `q==>`:
      impRight;
      notRight;
Sarah Grebing's avatar
Sarah Grebing committed
10
    case match `==>`:
Sarah Grebing's avatar
Sarah Grebing committed
11 12
      impRight;
      notRight;
Sarah Grebing's avatar
Sarah Grebing committed
13
    }
Sarah Grebing's avatar
Sarah Grebing committed
14 15 16
}


17
script test(){
18

19 20 21 22
}

script test1(){
  impRight;
Sarah Grebing's avatar
Sarah Grebing committed
23
  impRight;
24
}
Sarah Grebing's avatar
Sarah Grebing committed
25 26 27 28 29 30 31 32 33 34 35

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

}


36 37 38 39 40 41 42 43 44 45 46
script test2(){
impRight;
impLeft;
cases{
    case match `?X -> ?Y ==> not(?Z)`:
      notLeft;
    default:
      notRight;
}

}
Sarah Grebing's avatar
Sarah Grebing committed
47 48 49 50
script cpClosable(){
    impRight;
    impRight;
    cases{
51 52 53 54

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

55
        try:
Sarah Grebing's avatar
Sarah Grebing committed
56 57 58 59 60 61
            notLeft;
            notRight;
            replace_known_left occ='2';
            concrete_impl_1;
            close;

62
        default:
Sarah Grebing's avatar
Sarah Grebing committed
63
            auto;
64

Sarah Grebing's avatar
Sarah Grebing committed
65
    }
66
}