# 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 dedent5(x as int) as char #require x < 3 test assert true #no body/indented body code return c'z' # .error. missing BODY def main is shared c = ContractParsing() assert c.dedent1(1) == c'z' assert c.dedent5(1) == c'z'