summaryrefslogtreecommitdiff
path: root/driver.fun
diff options
context:
space:
mode:
authorVladimir Azarov <avm@intermediate-node.net>2025-06-04 20:45:08 +0200
committerVladimir Azarov <avm@intermediate-node.net>2025-06-04 20:45:08 +0200
commit9ccb3fce8e390f09fa5b812a77f7a65c10c5e4b1 (patch)
treebdbbce79c18fdb2e68592ed828f43da0b03ecf8f /driver.fun
parent546a5861526192a908f2aa2bfc3cfe4f3f3baf43 (diff)
Registration of declarations
Diffstat (limited to 'driver.fun')
-rw-r--r--driver.fun4
1 files changed, 2 insertions, 2 deletions
diff --git a/driver.fun b/driver.fun
index ff99091..ac9f950 100644
--- a/driver.fun
+++ b/driver.fun
@@ -21,7 +21,7 @@ functor Driver(P: PARSER): DRIVER = struct
val die = fn z => die 1 z
- fun finish ({ file = NONE, ... }: config) = die `"missing input file" %
+ fun finish ({ file = NONE, ... }: config) = die `"No file specified" %
| finish conf = updateC conf u#includeDirs rev %
fun parseFlag conf "-dE" tail =
@@ -52,7 +52,7 @@ functor Driver(P: PARSER): DRIVER = struct
case (#mode config) of
Normal =>
let
- val parseCtx = P.createParseCtx file (#includeDirs config)
+ val parseCtx = P.createCtx file (#includeDirs config)
fun collect ctx =
let