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


15
script test(){
16

17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32
}

script test1(){
  impRight;
}
script test2(){
impRight;
impLeft;
cases{
    case match `?X -> ?Y ==> not(?Z)`:
      notLeft;
    default:
      notRight;
}

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

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

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

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

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