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