Mercurial Hosting > luan
changeset 1316:11d3640e739d
load_file returns nil for missing file
author | Franklin Schmidt <fschmidt@gmail.com> |
---|---|
date | Thu, 31 Jan 2019 04:26:23 -0700 |
parents | 5763597ca5c0 |
children | c286c1e36b81 |
files | src/luan/modules/BasicLuan.java src/luan/modules/Luan.luan website/src/manual.html.luan |
diffstat | 3 files changed, 10 insertions(+), 5 deletions(-) [+] |
line wrap: on
line diff
--- a/src/luan/modules/BasicLuan.java Wed Jan 30 01:21:49 2019 -0700 +++ b/src/luan/modules/BasicLuan.java Thu Jan 31 04:26:23 2019 -0700 @@ -39,7 +39,7 @@ } String src = PackageLuan.read(luan,fileName); if( src == null ) - throw new LuanException("file '"+fileName+"' not found" ); + return null; return load(src,fileName,null); }
--- a/src/luan/modules/Luan.luan Wed Jan 30 01:21:49 2019 -0700 +++ b/src/luan/modules/Luan.luan Thu Jan 31 04:26:23 2019 -0700 @@ -4,7 +4,8 @@ local Luan = {} -Luan.error = Boot.error +local error = Boot.error +Luan.error = error Luan.get_metatable = BasicLuan.get_metatable Luan.hash_code = BasicLuan.hash_code Luan.ipairs = BasicLuan.ipairs @@ -26,7 +27,8 @@ Luan.values = BasicLuan.values function Luan.do_file(uri) - return Luan.load_file(uri)() + local fn = Luan.load_file(uri) or error("file '"..uri.."' not found") + return fn() end Luan.VERSION = Luan.do_file "classpath:luan/version.luan"
--- a/website/src/manual.html.luan Wed Jan 30 01:21:49 2019 -0700 +++ b/website/src/manual.html.luan Thu Jan 31 04:26:23 2019 -0700 @@ -1817,7 +1817,8 @@ <pre> function Luan.do_file(uri) - return <a href="#Luan.load_file">Luan.load_file</a>(uri)() + local fn = <a href="#Luan.load_file">Luan.load_file</a>(uri) or <a href="#Luan.error">Luan.error</a>("file '"..uri.."' not found") + return fn() end </pre> @@ -1930,7 +1931,9 @@ function Luan.load_file(file_uri) file_uri = file_uri or "stdin:" local f = Io.uri(file_uri) - f.exists() or <a href="#Luan.error">Luan.error</a>("file '"..file_uri.."' not found") + if not f.exists() then + return nil + end return <a href="#Luan.load">Luan.load</a>( f.read_text(), file_uri ) end </pre>