slyubomirsky opened a new issue, #13620:
URL: https://github.com/apache/tvm/issues/13620

   The following Relay program fails to parse:
   ```
   def @main() -> Tensor[(), bool] {                                            
                                                     
     %36 = ();                                                                  
                                                     
     %37 = match (%36) {                                                        
                                                     
       _ => {                                                                   
                                                     
         False                                                                  
                                                     
       },                                                                       
                                                     
     };                                                                         
                                                     
     %37                                                                        
                                                     
   }
   ```
   
   The parser emits the following error:
   ```
   error: expected an expression found  `match`
    --> from_string:115:10
        |  
    115 |    %37 = match (%36) {
        |           ^^^^^       
   ```
   
   However, this one succeeds:
   ```
   def @main() -> Tensor[(), bool] {
     %36 = ();
     match (%36) {
       _ => {
         False
       },
     }
   }
   ```
   
   From this I can infer that the failure happens due to the match's not being 
in the return position.
   
   Bug discovered through fuzzing.


-- 
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.

To unsubscribe, e-mail: [email protected]

For queries about this service, please contact Infrastructure at:
[email protected]

Reply via email to