diff options
author | pommicket <pommicket@gmail.com> | 2025-09-11 16:05:51 -0400 |
---|---|---|
committer | pommicket <pommicket@gmail.com> | 2025-09-11 16:05:51 -0400 |
commit | 8eacd6c35325d5ce5d341ace6ba0dbef34b43b0d (patch) | |
tree | 7e2381ad3919741e5cbda62beb132a478eae12bd /site | |
parent | b33141a98b618c36b5951bc206b78ab41a5f6a0d (diff) |
Clarify that load_string & load_file should take a file name
Diffstat (limited to 'site')
-rw-r--r-- | site/spec.html | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/site/spec.html b/site/spec.html index 12e19e6..9f03fe0 100644 --- a/site/spec.html +++ b/site/spec.html @@ -417,13 +417,15 @@ time = 35 min </p> <ul> <li> - <code>load(file: File) -> Configuration</code><br> + <code>load(filename: String, file: File) -> Configuration</code><br> Load a configuration from a file. + (<code>filename</code> is used for reporting error locations.) </li> <li> - <code>load_string(string: String) -> Configuration</code><br> + <code>load_string(filename: String, string: String) -> Configuration</code><br> Load a configuration from a string (may be overloaded with <code>load</code> if language supports it). + (<code>filename</code> is used for reporting error locations.) </li> <li> <code>load_path(path: String) -> Configuration</code><br> |