rowandavies/sml-cidre — Issue #8: Wrong filename to Cidre.make kills the program
Author: robsimmons
Created: 2011-10-26 19:33:59+00:00
State: open

I meant to write `sml/refine.mlb`, the file `sml/refine.cm` doesn't exist. This probably shouldn't throw me back to my shell, however.

```
bash-3.2$ ../sml-cidre/bin/sml-cidre sml/refine.sml
Standard ML of New Jersey 110.72
with SML-CIDRE 0.99999

Quickstart: Cidre.make "filenm.cm";

val it = "a piece of" : string
- Cidre.make "sml/refine.cm";
Error: file not found: sml/refine.cm
bash-3.2$
```