Skip to content

Latest commit

 

History

History
 
 

known_problems

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
 
 
 
 
 
 

Known problems

The should_pass directory contains modules without type errors but for which type errors are reported.

The should_fail directory contains modules for which we expect type errors to be reported, but which currently pass without errors.