# test the main the variants of contract layout - looking for parsing errors class ContractParsing # we allow this - 1 line contract, non indented or keyworded body def dedent1(x as int) as char require x < 3 return c'z' def dedent4(x as int) as char require x < 3 test assert true #No 'body' return c'z' #.error. missing BODY def main is shared c = ContractParsing() assert c.dedent1(1) == c'z' assert c.dedent4(1) == c'z'