view paper/src/goto.cbc @ 30:55f67e448dcc

Add type system description
author atton <atton@cr.ie.u-ryukyu.ac.jp>
date Thu, 26 Jan 2017 11:03:51 +0900
parents 6bf2e0196a1e
children
line wrap: on
line source

__code cs0(int a, int b){
  goto cs1(a+b);
}

__code cs1(int c){
  goto cs2(c);
}