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 |
Revision history for this message
| Matt Giuca (mgiuca) wrote | #1 |
| Changed in mars: | |
| status: | In Progress → Fix Committed |
| Changed in mars: | |
| status: | Fix Committed → Fix Released |
To post a comment you must log in.
Fixed in trunk r916.