#NEWLINE# def testMatchStructureCantMatchTooSmallTuple( self ) : #NEWLINE# #INDENT# runtime = Runtime . getMainRuntime ( ) #NEWLINE# axioms = runtime . getAxioms ( ) #NEWLINE# jov = FORANative . parseStringToJOV ( '((1,2,3),`StructureMatch,((nothing, false), (nothing, false), (nothing, false), (nothing, false)))' ) #NEWLINE# axiom = axioms . getAxiomByJOVT ( runtime . getTypedForaCompiler ( ) , axiom . asTuple . jov ) #NEWLINE# self . assertTrue ( ( list ( axiom . asNative . resultSignature . resultPart ( ) . vals ) == [ FORANative . parseStringToJOV ( 'nothing' ) ] ) )