From 7625aaee300f3b9c9e9f29bbb4a9484a6778e2f4 Mon Sep 17 00:00:00 2001 From: william-vw Date: Sun, 24 Sep 2023 09:45:04 +0200 Subject: [PATCH] fix builtins example (thanks Ivan) --- reports/20230703/builtins.html | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/reports/20230703/builtins.html b/reports/20230703/builtins.html index 8cc94468..8d9f6664 100644 --- a/reports/20230703/builtins.html +++ b/reports/20230703/builtins.html @@ -3481,7 +3481,7 @@


Examples
- try in editor 🚀 + try in editor 🚀

@@ -3490,12 +3490,12 @@

@prefix : <http://example.org/>. @prefix log: <http://www.w3.org/2000/10/swap/log#> . -{ <error.data> log:semantics ?semantics . } => { :result :is ?semantics } . +{ <error.data> log:semanticsOrError ?semantics } => { :result :is ?semantics } .

Result: 

@prefix : <http://example.org/>.
-:result :is """Unable to access document <file:////tmp/error.data>, because:
-    <urlopen error [Errno 2] No such file or directory: '//tmp/error.data'>""" .
+
+:result :is "error(existence_error(source_sink,/error.data),context(system:open/4,No such file or directory))" .