diff options
author | Vladimir Azarov <avm@intermediate-node.net> | 2025-06-04 20:45:08 +0200 |
---|---|---|
committer | Vladimir Azarov <avm@intermediate-node.net> | 2025-06-04 20:45:08 +0200 |
commit | 9ccb3fce8e390f09fa5b812a77f7a65c10c5e4b1 (patch) | |
tree | bdbbce79c18fdb2e68592ed828f43da0b03ecf8f /driver.fun | |
parent | 546a5861526192a908f2aa2bfc3cfe4f3f3baf43 (diff) |
Registration of declarations
Diffstat (limited to 'driver.fun')
-rw-r--r-- | driver.fun | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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 |