From f0f8c8f7648ef0a215f322530cd0fa8de0382996 Mon Sep 17 00:00:00 2001 From: Joe Wicentowski Date: Sat, 13 May 2023 16:14:17 -0400 Subject: [PATCH 1/2] Remove unnecessary type cast --- src/main/xar-resources/modules/app.xql | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/main/xar-resources/modules/app.xql b/src/main/xar-resources/modules/app.xql index 6918417..0acbcd5 100644 --- a/src/main/xar-resources/modules/app.xql +++ b/src/main/xar-resources/modules/app.xql @@ -108,7 +108,7 @@ function app:module($node as node(), $model as map(*), $details as xs:boolean) { order by $order return - app:print-module($module, $funcsInModule, boolean($details)) + app:print-module($module, $funcsInModule, $details) }; declare %private function app:print-module($module as element(xqdoc:xqdoc), $functions as element(xqdoc:function)*, From 6472d7e66ff596a575a1812c108c24d87890ea53 Mon Sep 17 00:00:00 2001 From: Duncan Paterson Date: Fri, 11 Apr 2025 10:42:34 +0200 Subject: [PATCH 2/2] Revert "Remove unnecessary type cast" This reverts commit f0f8c8f7648ef0a215f322530cd0fa8de0382996. --- src/main/xar-resources/modules/app.xql | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/main/xar-resources/modules/app.xql b/src/main/xar-resources/modules/app.xql index 0acbcd5..6918417 100644 --- a/src/main/xar-resources/modules/app.xql +++ b/src/main/xar-resources/modules/app.xql @@ -108,7 +108,7 @@ function app:module($node as node(), $model as map(*), $details as xs:boolean) { order by $order return - app:print-module($module, $funcsInModule, $details) + app:print-module($module, $funcsInModule, boolean($details)) }; declare %private function app:print-module($module as element(xqdoc:xqdoc), $functions as element(xqdoc:function)*,