Open rebcabin opened 1 year ago
| TupleConstant(expr* elements, ttype type)
shouldn't it be
| TupleConstant(expr* elements, ttype* types)
? Such would match examples like the following from 922cf65
(is (s/valid? ::asr/TupleConstant (TupleConstant [(IntegerConstant 1 (Integer 4 [])) (IntegerConstant 2 (Integer 4 [])) (StringConstant "a" (Character 1 1 () []) )] (Tuple [(Integer 4 []) (Integer 4 []) (Character 1 1 () [])]))))
shouldn't it be
? Such would match examples like the following from 922cf65