- 
          
- 
                Notifications
    You must be signed in to change notification settings 
- Fork 5.7k
Fix MethodError in IR validator #58425
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
          
     Merged
      
      
    
                
     Merged
            
            
          Conversation
  
    
      This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
      Learn more about bidirectional Unicode characters
    
  
  
    
    
              
                    mlechu
  
              
              commented
              
                  
                    May 15, 2025 
                  
              
              
            
            
| Refs #56645 | 
This reverts commit 98e5818.
              
                    topolarity
  
              
              approved these changes
              
                  
                    May 15, 2025 
                  
              
              
            
            
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Thanks for the fix!
I think moving it out of bootstrap would let us make it more powerful
Any specific ideas? I have no problem opting out of bootstrap, but I'm surprised that a verifier pass would need much more than what the compiler itself needs
    
  vtjnash 
      added a commit
      that referenced
      this pull request
    
      Sep 29, 2025 
    
    
  
    
  xal-0 
      pushed a commit
        to xal-0/julia
      that referenced
      this pull request
    
      Sep 30, 2025 
    
    
  
    
  aviatesk 
      pushed a commit
      that referenced
      this pull request
    
      Oct 1, 2025 
    
    
  
    
  aviatesk 
      pushed a commit
      that referenced
      this pull request
    
      Oct 1, 2025 
    
    
  
    
  KristofferC 
      pushed a commit
      that referenced
      this pull request
    
      Oct 12, 2025 
    
    
  
  
    Sign up for free
    to join this conversation on GitHub.
    Already have an account?
    Sign in to comment
  
      
  Add this suggestion to a batch that can be applied as a single commit.
  This suggestion is invalid because no changes were made to the code.
  Suggestions cannot be applied while the pull request is closed.
  Suggestions cannot be applied while viewing a subset of changes.
  Only one suggestion per line can be applied in a batch.
  Add this suggestion to a batch that can be applied as a single commit.
  Applying suggestions on deleted lines is not supported.
  You must change the existing code in this line in order to create a valid suggestion.
  Outdated suggestions cannot be applied.
  This suggestion has been applied or marked resolved.
  Suggestions cannot be applied from pending reviews.
  Suggestions cannot be applied on multi-line comments.
  Suggestions cannot be applied while the pull request is queued to merge.
  Suggestion cannot be applied right now. Please check back later.
  
    
  
    
Invalid IR in a debug build makes the validator call
Core.printlnwith aBase.TTY, which makes a bad day worse.I'm not sure about the usefulness of this file—I think moving it out of bootstrap would let us make it more powerful—but just fix the error for now. Also remove a couple of unused expr heads as of #57965.