Ticket #128 (new defect)

Opened 1 year ago

Last modified 1 year ago

nested array patterns don't type check

Reported by: jeffdyer Assigned to: anonymous
Type: defect Priority: major
Milestone: M2 Component: RefImpl
Version: 4 Keywords:
Cc:

Description (last modified by jeffdyer) (diff)

All of the following test cases result in a verify error to the effect 

**ERROR** VerifyError: ElementTypeRef on non-ArrayType:
 <ElementTypeRef: ...> (near <no filename>:1.5-1.5)

>> var [[x]] = [['hi']]
>> var [[y]] : * = [['salut']]
>> var [[z]] : [[String]] = [['bye']]

The verifier needs to normalize the ElementTypeRef? that results from the inner array pattern.

Attachments

Change History

Changed 1 year ago by jeffdyer

  • description changed from All of the following test cases result in a verify error to the effect **ERROR** VerifyError: ElementTypeRef on non-ArrayType: <ElementTypeRef: ...> (near <no filename>:1.5-1.5) >> var [[x]] = [['hi']] >> var [[y]] : * = [['salut']] >> var [[z]] : [[String]] = [['bye']] The verifier needs to normalize the ElementTypeRef the results from the inner array pattern. to All of the following test cases result in a verify error to the effect {{{ **ERROR** VerifyError: ElementTypeRef on non-ArrayType: <ElementTypeRef: ...> (near <no filename>:1.5-1.5) >> var [[x]] = [['hi']] >> var [[y]] : * = [['salut']] >> var [[z]] : [[String]] = [['bye']] }}} The verifier needs to normalize the ElementTypeRef the results from the inner array pattern.

Changed 1 year ago by jeffdyer

  • description changed from All of the following test cases result in a verify error to the effect {{{ **ERROR** VerifyError: ElementTypeRef on non-ArrayType: <ElementTypeRef: ...> (near <no filename>:1.5-1.5) >> var [[x]] = [['hi']] >> var [[y]] : * = [['salut']] >> var [[z]] : [[String]] = [['bye']] }}} The verifier needs to normalize the ElementTypeRef the results from the inner array pattern. to All of the following test cases result in a verify error to the effect {{{ **ERROR** VerifyError: ElementTypeRef on non-ArrayType: <ElementTypeRef: ...> (near <no filename>:1.5-1.5) }}} {{{ >> var [[x]] = [['hi']] >> var [[y]] : * = [['salut']] >> var [[z]] : [[String]] = [['bye']] }}} The verifier needs to normalize the ElementTypeRef the results from the inner array pattern.

Changed 1 year ago by jeffdyer

  • description changed from All of the following test cases result in a verify error to the effect {{{ **ERROR** VerifyError: ElementTypeRef on non-ArrayType: <ElementTypeRef: ...> (near <no filename>:1.5-1.5) }}} {{{ >> var [[x]] = [['hi']] >> var [[y]] : * = [['salut']] >> var [[z]] : [[String]] = [['bye']] }}} The verifier needs to normalize the ElementTypeRef the results from the inner array pattern. to All of the following test cases result in a verify error to the effect {{{ **ERROR** VerifyError: ElementTypeRef on non-ArrayType: <ElementTypeRef: ...> (near <no filename>:1.5-1.5) }}} {{{ >> var [[x]] = [['hi']] >> var [[y]] : * = [['salut']] >> var [[z]] : [[String]] = [['bye']] }}} The verifier needs to normalize the ElementTypeRef that results from the inner array pattern.
Note: See TracTickets for help on using tickets.