You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Because attempting to create a file named "Con" on Windows throws an IOException (confusion with the "Con"sole device).
The culprit:
trait Con[-X] // <- the WinNT filesystem refuses to create `Con.class`
trait Inv[X]
trait Cov[+X]
Part of the stacktrace:
[partest] Exception in thread "bcode-typer" java.io.IOException: The system cannot find the file specified
[partest] at java.io.WinNTFileSystem.createFileExclusively(Native Method)
[partest] at java.io.File.createNewFile(Unknown Source)
[partest] at scala.reflect.io.AbstractFile.fileOrSubdirectoryNamed(AbstractFile.scala:235)
[partest] at scala.reflect.io.AbstractFile.fileNamed(AbstractFile.scala:246)
The fix involves renaming Con in both neg/unchecked-abstract.scala and neg/unchecked-abstract.check
The text was updated successfully, but these errors were encountered:
Because attempting to create a file named "Con" on Windows throws an IOException (confusion with the "Con"sole device).
The culprit:
Part of the stacktrace:
The fix involves renaming
Con
in bothneg/unchecked-abstract.scala
andneg/unchecked-abstract.check
The text was updated successfully, but these errors were encountered: