Skip to content

Commit

Permalink
Separate evaluation from typing error types
Browse files Browse the repository at this point in the history
Summary: Moves evaluation of typing errors to `typing_error_utils` ahead of adding types to typing errors. This is necessary since the evaluation / pretty-printing of errors will require a typing environment but we don't want to introduce this a dependency for typing errors.

Reviewed By: shayne-fletcher

Differential Revision: D45903186

fbshipit-source-id: fde56bf2b6bdd87097115ee992e1aabc2dd8fe7e
  • Loading branch information
Michael Thomas authored and facebook-github-bot committed May 17, 2023
1 parent 045810c commit 0ed7a85
Show file tree
Hide file tree
Showing 3 changed files with 6,362 additions and 6,342 deletions.
Loading

0 comments on commit 0ed7a85

Please sign in to comment.