# 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
		c = c'z'
		return c
		

	def dedent2a(x as int) as char
		require 
			x < 3
		#test
		#	assert true
		# indented contract clause keyword, no body keyword 
		return c'z' #.error. Missing BODY
		
			
	def main is shared
		c = ContractParsing()
		assert c.dedent1(1) == c'z'
		assert c.dedent2a(2) == c'z'