Mars doesn't check if it's opening a directory
Bug #486977 reported by
Matt Giuca
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
Mars |
Fix Released
|
Low
|
Matt Giuca |
Bug Description
If Mars is run with a directory as an argument, it works as if it were given an empty file. (It fails with "Undefined variable: main.", and works fine with -i). This is because Mercury's file reading works fine on directories, and behaves like an empty file.
Make Mars check if it's opening a directory and print an error.
Related branches
Changed in mars: | |
status: | Triaged → In Progress |
Changed in mars: | |
status: | Fix Committed → Fix Released |
To post a comment you must log in.
Fixed in trunk r916.