# 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'
		
	#should we allow this even though body not necessary?
	def dedent2a(x as int) as char
		require x < 3
		body 	# optional body
			return c'z'
			
	def main is shared
		c = ContractParsing()
		assert c.dedent1(1) == c'z'
		assert c.dedent2a(2) == c'z'