summaryrefslogtreecommitdiff
path: root/lang
diff options
context:
space:
mode:
Diffstat (limited to 'lang')
-rw-r--r--lang/elixir-devel/Makefile4
-rw-r--r--lang/elixir-devel/distinfo10
-rw-r--r--lang/elixir-devel/pkg-plist42
-rw-r--r--lang/erlang/Makefile5
-rw-r--r--lang/erlang/files/epmd.in24
-rw-r--r--lang/gcc12-devel/Makefile2
-rw-r--r--lang/gcc12-devel/distinfo6
-rw-r--r--lang/gcc13-devel/Makefile2
-rw-r--r--lang/gcc13-devel/distinfo6
-rw-r--r--lang/gcc14-devel/Makefile2
-rw-r--r--lang/gcc14-devel/distinfo6
-rw-r--r--lang/gcc15-devel/Makefile2
-rw-r--r--lang/gcc15-devel/distinfo6
-rw-r--r--lang/gcc16-devel/Makefile2
-rw-r--r--lang/gcc16-devel/distinfo6
-rw-r--r--lang/ghc/Makefile66
-rw-r--r--lang/ghc/distinfo2
-rw-r--r--lang/gnat12/Makefile3
-rw-r--r--lang/silq/Makefile9
-rw-r--r--lang/silq/distinfo14
-rw-r--r--lang/silq/pkg-plist647
21 files changed, 721 insertions, 145 deletions
diff --git a/lang/elixir-devel/Makefile b/lang/elixir-devel/Makefile
index 7e5a74b00a3d..d4405cdee7a2 100644
--- a/lang/elixir-devel/Makefile
+++ b/lang/elixir-devel/Makefile
@@ -1,7 +1,7 @@
PORTNAME= elixir
DISTVERSIONPREFIX= v
-DISTVERSION= 1.18.4
-DISTVERSIONSUFFIX=
+DISTVERSION= 1.19.0
+DISTVERSIONSUFFIX=-rc.0
CATEGORIES= lang
MASTER_SITES+= https://github.com/elixir-lang/elixir/releases/download/${DISTVERSIONPREFIX}${DISTVERSION}${DISTVERSIONSUFFIX}/:doc
PKGNAMESUFFIX= -devel
diff --git a/lang/elixir-devel/distinfo b/lang/elixir-devel/distinfo
index f2394213f08e..c1e2c67bdb03 100644
--- a/lang/elixir-devel/distinfo
+++ b/lang/elixir-devel/distinfo
@@ -1,5 +1,5 @@
-TIMESTAMP = 1747839341
-SHA256 (elixir/1.18.4/Docs.zip) = c3843e096ed82f4e7107dddb6e53a1c3179b28724315e3ec419e3078908800da
-SIZE (elixir/1.18.4/Docs.zip) = 5745595
-SHA256 (elixir/1.18.4/elixir-lang-elixir-v1.18.4_GH0.tar.gz) = 8e136c0a92160cdad8daa74560e0e9c6810486bd232fbce1709d40fcc426b5e0
-SIZE (elixir/1.18.4/elixir-lang-elixir-v1.18.4_GH0.tar.gz) = 3397219
+TIMESTAMP = 1750626014
+SHA256 (elixir/1.19.0/Docs.zip) = 334c1a3b676baa31eb1a1b517d60bdff60db16d8e661ad96180e987d64c83080
+SIZE (elixir/1.19.0/Docs.zip) = 5881276
+SHA256 (elixir/1.19.0/elixir-lang-elixir-v1.19.0-rc.0_GH0.tar.gz) = 62f903088e7bf21e129ad100e573f65d03638b10c6207770204b8e6b9d148791
+SIZE (elixir/1.19.0/elixir-lang-elixir-v1.19.0-rc.0_GH0.tar.gz) = 3512699
diff --git a/lang/elixir-devel/pkg-plist b/lang/elixir-devel/pkg-plist
index 4ba3dec14189..d7d1e387328c 100644
--- a/lang/elixir-devel/pkg-plist
+++ b/lang/elixir-devel/pkg-plist
@@ -97,7 +97,6 @@ lib/elixir/lib/elixir/ebin/Elixir.GenServer.beam
lib/elixir/lib/elixir/ebin/Elixir.HashDict.beam
lib/elixir/lib/elixir/ebin/Elixir.HashSet.beam
lib/elixir/lib/elixir/ebin/Elixir.IO.ANSI.Docs.beam
-lib/elixir/lib/elixir/ebin/Elixir.IO.ANSI.Sequence.beam
lib/elixir/lib/elixir/ebin/Elixir.IO.ANSI.beam
lib/elixir/lib/elixir/ebin/Elixir.IO.Stream.beam
lib/elixir/lib/elixir/ebin/Elixir.IO.StreamError.beam
@@ -333,6 +332,7 @@ lib/elixir/lib/elixir/lib/hash_dict.ex
lib/elixir/lib/elixir/lib/hash_set.ex
lib/elixir/lib/elixir/lib/inspect.ex
lib/elixir/lib/elixir/lib/inspect/algebra.ex
+lib/elixir/lib/elixir/lib/inspect/error.ex
lib/elixir/lib/elixir/lib/integer.ex
lib/elixir/lib/elixir/lib/io.ex
lib/elixir/lib/elixir/lib/io/ansi.ex
@@ -444,7 +444,6 @@ lib/elixir/lib/ex_unit/lib/ex_unit/server.ex
lib/elixir/lib/iex/ebin/Elixir.IEx.App.beam
lib/elixir/lib/iex/ebin/Elixir.IEx.Autocomplete.beam
lib/elixir/lib/iex/ebin/Elixir.IEx.Broker.beam
-lib/elixir/lib/iex/ebin/Elixir.IEx.CLI.beam
lib/elixir/lib/iex/ebin/Elixir.IEx.Config.beam
lib/elixir/lib/iex/ebin/Elixir.IEx.Evaluator.beam
lib/elixir/lib/iex/ebin/Elixir.IEx.Helpers.beam
@@ -478,7 +477,6 @@ lib/elixir/lib/iex/lib/iex.ex
lib/elixir/lib/iex/lib/iex/app.ex
lib/elixir/lib/iex/lib/iex/autocomplete.ex
lib/elixir/lib/iex/lib/iex/broker.ex
-lib/elixir/lib/iex/lib/iex/cli.ex
lib/elixir/lib/iex/lib/iex/config.ex
lib/elixir/lib/iex/lib/iex/evaluator.ex
lib/elixir/lib/iex/lib/iex/helpers.ex
@@ -516,6 +514,7 @@ lib/elixir/lib/mix/ebin/Elixir.Mix.AppLoader.beam
lib/elixir/lib/mix/ebin/Elixir.Mix.CLI.beam
lib/elixir/lib/mix/ebin/Elixir.Mix.Compilers.Elixir.beam
lib/elixir/lib/mix/ebin/Elixir.Mix.Compilers.Erlang.beam
+lib/elixir/lib/mix/ebin/Elixir.Mix.Compilers.Protocol.beam
lib/elixir/lib/mix/ebin/Elixir.Mix.Compilers.Test.beam
lib/elixir/lib/mix/ebin/Elixir.Mix.Config.beam
lib/elixir/lib/mix/ebin/Elixir.Mix.Dep.Converger.beam
@@ -576,6 +575,7 @@ lib/elixir/lib/mix/ebin/Elixir.Mix.Tasks.Deps.Clean.beam
lib/elixir/lib/mix/ebin/Elixir.Mix.Tasks.Deps.Compile.beam
lib/elixir/lib/mix/ebin/Elixir.Mix.Tasks.Deps.Get.beam
lib/elixir/lib/mix/ebin/Elixir.Mix.Tasks.Deps.Loadpaths.beam
+lib/elixir/lib/mix/ebin/Elixir.Mix.Tasks.Deps.Partition.beam
lib/elixir/lib/mix/ebin/Elixir.Mix.Tasks.Deps.Precompile.beam
lib/elixir/lib/mix/ebin/Elixir.Mix.Tasks.Deps.Tree.beam
lib/elixir/lib/mix/ebin/Elixir.Mix.Tasks.Deps.Unlock.beam
@@ -593,7 +593,6 @@ lib/elixir/lib/mix/ebin/Elixir.Mix.Tasks.Iex.beam
lib/elixir/lib/mix/ebin/Elixir.Mix.Tasks.Loadconfig.beam
lib/elixir/lib/mix/ebin/Elixir.Mix.Tasks.Loadpaths.beam
lib/elixir/lib/mix/ebin/Elixir.Mix.Tasks.Local.Hex.beam
-lib/elixir/lib/mix/ebin/Elixir.Mix.Tasks.Local.PublicKeys.beam
lib/elixir/lib/mix/ebin/Elixir.Mix.Tasks.Local.Rebar.beam
lib/elixir/lib/mix/ebin/Elixir.Mix.Tasks.Local.beam
lib/elixir/lib/mix/ebin/Elixir.Mix.Tasks.New.beam
@@ -617,6 +616,7 @@ lib/elixir/lib/mix/lib/mix/app_loader.ex
lib/elixir/lib/mix/lib/mix/cli.ex
lib/elixir/lib/mix/lib/mix/compilers/elixir.ex
lib/elixir/lib/mix/lib/mix/compilers/erlang.ex
+lib/elixir/lib/mix/lib/mix/compilers/protocol.ex
lib/elixir/lib/mix/lib/mix/compilers/test.ex
lib/elixir/lib/mix/lib/mix/config.ex
lib/elixir/lib/mix/lib/mix/dep.ex
@@ -673,6 +673,7 @@ lib/elixir/lib/mix/lib/mix/tasks/deps.compile.ex
lib/elixir/lib/mix/lib/mix/tasks/deps.ex
lib/elixir/lib/mix/lib/mix/tasks/deps.get.ex
lib/elixir/lib/mix/lib/mix/tasks/deps.loadpaths.ex
+lib/elixir/lib/mix/lib/mix/tasks/deps.partition.ex
lib/elixir/lib/mix/lib/mix/tasks/deps.precompile.ex
lib/elixir/lib/mix/lib/mix/tasks/deps.tree.ex
lib/elixir/lib/mix/lib/mix/tasks/deps.unlock.ex
@@ -690,7 +691,6 @@ lib/elixir/lib/mix/lib/mix/tasks/loadconfig.ex
lib/elixir/lib/mix/lib/mix/tasks/loadpaths.ex
lib/elixir/lib/mix/lib/mix/tasks/local.ex
lib/elixir/lib/mix/lib/mix/tasks/local.hex.ex
-lib/elixir/lib/mix/lib/mix/tasks/local.public_keys.ex
lib/elixir/lib/mix/lib/mix/tasks/local.rebar.ex
lib/elixir/lib/mix/lib/mix/tasks/new.ex
lib/elixir/lib/mix/lib/mix/tasks/profile.cprof.ex
@@ -715,13 +715,13 @@ lib/elixir/lib/mix/lib/mix/utils.ex
%%PORTDOCS%%%%DOCSDIR%%/eex/api-reference.html
%%PORTDOCS%%%%DOCSDIR%%/eex/assets/logo.png
%%PORTDOCS%%%%DOCSDIR%%/eex/dist/html-DPJLHKSM.js
-%%PORTDOCS%%%%DOCSDIR%%/eex/dist/html-elixir-J3PIVQVA.css
+%%PORTDOCS%%%%DOCSDIR%%/eex/dist/html-elixir-KV3YOVJ3.css
%%PORTDOCS%%%%DOCSDIR%%/eex/dist/lato-latin-400-normal-W7754I4D.woff2
%%PORTDOCS%%%%DOCSDIR%%/eex/dist/lato-latin-700-normal-2XVSBPG4.woff2
%%PORTDOCS%%%%DOCSDIR%%/eex/dist/lato-latin-ext-400-normal-N27NCBWW.woff2
%%PORTDOCS%%%%DOCSDIR%%/eex/dist/lato-latin-ext-700-normal-Q2L5DVMW.woff2
%%PORTDOCS%%%%DOCSDIR%%/eex/dist/remixicon-QPNJX265.woff2
-%%PORTDOCS%%%%DOCSDIR%%/eex/dist/search_data-4B058DF8.js
+%%PORTDOCS%%%%DOCSDIR%%/eex/dist/search_data-B1F78EB2.js
%%PORTDOCS%%%%DOCSDIR%%/eex/dist/sidebar_items-D8E88037.js
%%PORTDOCS%%%%DOCSDIR%%/eex/docs_config.js
%%PORTDOCS%%%%DOCSDIR%%/eex/index.html
@@ -870,14 +870,14 @@ lib/elixir/lib/mix/lib/mix/utils.ex
%%PORTDOCS%%%%DOCSDIR%%/elixir/dependencies-and-umbrella-projects.html
%%PORTDOCS%%%%DOCSDIR%%/elixir/design-anti-patterns.html
%%PORTDOCS%%%%DOCSDIR%%/elixir/dist/html-DPJLHKSM.js
-%%PORTDOCS%%%%DOCSDIR%%/elixir/dist/html-elixir-J3PIVQVA.css
+%%PORTDOCS%%%%DOCSDIR%%/elixir/dist/html-elixir-KV3YOVJ3.css
%%PORTDOCS%%%%DOCSDIR%%/elixir/dist/lato-latin-400-normal-W7754I4D.woff2
%%PORTDOCS%%%%DOCSDIR%%/elixir/dist/lato-latin-700-normal-2XVSBPG4.woff2
%%PORTDOCS%%%%DOCSDIR%%/elixir/dist/lato-latin-ext-400-normal-N27NCBWW.woff2
%%PORTDOCS%%%%DOCSDIR%%/elixir/dist/lato-latin-ext-700-normal-Q2L5DVMW.woff2
%%PORTDOCS%%%%DOCSDIR%%/elixir/dist/remixicon-QPNJX265.woff2
-%%PORTDOCS%%%%DOCSDIR%%/elixir/dist/search_data-D3F975CD.js
-%%PORTDOCS%%%%DOCSDIR%%/elixir/dist/sidebar_items-33C8C98E.js
+%%PORTDOCS%%%%DOCSDIR%%/elixir/dist/search_data-4AE494DF.js
+%%PORTDOCS%%%%DOCSDIR%%/elixir/dist/sidebar_items-FFDBFBE5.js
%%PORTDOCS%%%%DOCSDIR%%/elixir/distributed-tasks.html
%%PORTDOCS%%%%DOCSDIR%%/elixir/docs-tests-and-with.html
%%PORTDOCS%%%%DOCSDIR%%/elixir/docs_config.js
@@ -942,14 +942,14 @@ lib/elixir/lib/mix/lib/mix/utils.ex
%%PORTDOCS%%%%DOCSDIR%%/ex_unit/api-reference.html
%%PORTDOCS%%%%DOCSDIR%%/ex_unit/assets/logo.png
%%PORTDOCS%%%%DOCSDIR%%/ex_unit/dist/html-DPJLHKSM.js
-%%PORTDOCS%%%%DOCSDIR%%/ex_unit/dist/html-elixir-J3PIVQVA.css
+%%PORTDOCS%%%%DOCSDIR%%/ex_unit/dist/html-elixir-KV3YOVJ3.css
%%PORTDOCS%%%%DOCSDIR%%/ex_unit/dist/lato-latin-400-normal-W7754I4D.woff2
%%PORTDOCS%%%%DOCSDIR%%/ex_unit/dist/lato-latin-700-normal-2XVSBPG4.woff2
%%PORTDOCS%%%%DOCSDIR%%/ex_unit/dist/lato-latin-ext-400-normal-N27NCBWW.woff2
%%PORTDOCS%%%%DOCSDIR%%/ex_unit/dist/lato-latin-ext-700-normal-Q2L5DVMW.woff2
%%PORTDOCS%%%%DOCSDIR%%/ex_unit/dist/remixicon-QPNJX265.woff2
-%%PORTDOCS%%%%DOCSDIR%%/ex_unit/dist/search_data-61FBCF82.js
-%%PORTDOCS%%%%DOCSDIR%%/ex_unit/dist/sidebar_items-B7CFB982.js
+%%PORTDOCS%%%%DOCSDIR%%/ex_unit/dist/search_data-9D569829.js
+%%PORTDOCS%%%%DOCSDIR%%/ex_unit/dist/sidebar_items-788E2F85.js
%%PORTDOCS%%%%DOCSDIR%%/ex_unit/docs_config.js
%%PORTDOCS%%%%DOCSDIR%%/ex_unit/index.html
%%PORTDOCS%%%%DOCSDIR%%/ex_unit/search.html
@@ -963,13 +963,13 @@ lib/elixir/lib/mix/lib/mix/utils.ex
%%PORTDOCS%%%%DOCSDIR%%/iex/api-reference.html
%%PORTDOCS%%%%DOCSDIR%%/iex/assets/logo.png
%%PORTDOCS%%%%DOCSDIR%%/iex/dist/html-DPJLHKSM.js
-%%PORTDOCS%%%%DOCSDIR%%/iex/dist/html-elixir-J3PIVQVA.css
+%%PORTDOCS%%%%DOCSDIR%%/iex/dist/html-elixir-KV3YOVJ3.css
%%PORTDOCS%%%%DOCSDIR%%/iex/dist/lato-latin-400-normal-W7754I4D.woff2
%%PORTDOCS%%%%DOCSDIR%%/iex/dist/lato-latin-700-normal-2XVSBPG4.woff2
%%PORTDOCS%%%%DOCSDIR%%/iex/dist/lato-latin-ext-400-normal-N27NCBWW.woff2
%%PORTDOCS%%%%DOCSDIR%%/iex/dist/lato-latin-ext-700-normal-Q2L5DVMW.woff2
%%PORTDOCS%%%%DOCSDIR%%/iex/dist/remixicon-QPNJX265.woff2
-%%PORTDOCS%%%%DOCSDIR%%/iex/dist/search_data-2CF293CF.js
+%%PORTDOCS%%%%DOCSDIR%%/iex/dist/search_data-2658760C.js
%%PORTDOCS%%%%DOCSDIR%%/iex/dist/sidebar_items-025038F8.js
%%PORTDOCS%%%%DOCSDIR%%/iex/docs_config.js
%%PORTDOCS%%%%DOCSDIR%%/iex/index.html
@@ -983,13 +983,13 @@ lib/elixir/lib/mix/lib/mix/utils.ex
%%PORTDOCS%%%%DOCSDIR%%/logger/api-reference.html
%%PORTDOCS%%%%DOCSDIR%%/logger/assets/logo.png
%%PORTDOCS%%%%DOCSDIR%%/logger/dist/html-DPJLHKSM.js
-%%PORTDOCS%%%%DOCSDIR%%/logger/dist/html-elixir-J3PIVQVA.css
+%%PORTDOCS%%%%DOCSDIR%%/logger/dist/html-elixir-KV3YOVJ3.css
%%PORTDOCS%%%%DOCSDIR%%/logger/dist/lato-latin-400-normal-W7754I4D.woff2
%%PORTDOCS%%%%DOCSDIR%%/logger/dist/lato-latin-700-normal-2XVSBPG4.woff2
%%PORTDOCS%%%%DOCSDIR%%/logger/dist/lato-latin-ext-400-normal-N27NCBWW.woff2
%%PORTDOCS%%%%DOCSDIR%%/logger/dist/lato-latin-ext-700-normal-Q2L5DVMW.woff2
%%PORTDOCS%%%%DOCSDIR%%/logger/dist/remixicon-QPNJX265.woff2
-%%PORTDOCS%%%%DOCSDIR%%/logger/dist/search_data-B5F90A7A.js
+%%PORTDOCS%%%%DOCSDIR%%/logger/dist/search_data-634666A7.js
%%PORTDOCS%%%%DOCSDIR%%/logger/dist/sidebar_items-6EF946FB.js
%%PORTDOCS%%%%DOCSDIR%%/logger/docs_config.js
%%PORTDOCS%%%%DOCSDIR%%/logger/index.html
@@ -1025,7 +1025,6 @@ lib/elixir/lib/mix/lib/mix/utils.ex
%%PORTDOCS%%%%DOCSDIR%%/mix/Mix.Tasks.Compile.Elixir.html
%%PORTDOCS%%%%DOCSDIR%%/mix/Mix.Tasks.Compile.Erlang.html
%%PORTDOCS%%%%DOCSDIR%%/mix/Mix.Tasks.Compile.Leex.html
-%%PORTDOCS%%%%DOCSDIR%%/mix/Mix.Tasks.Compile.Protocols.html
%%PORTDOCS%%%%DOCSDIR%%/mix/Mix.Tasks.Compile.Yecc.html
%%PORTDOCS%%%%DOCSDIR%%/mix/Mix.Tasks.Compile.html
%%PORTDOCS%%%%DOCSDIR%%/mix/Mix.Tasks.Deps.Clean.html
@@ -1049,7 +1048,6 @@ lib/elixir/lib/mix/lib/mix/utils.ex
%%PORTDOCS%%%%DOCSDIR%%/mix/Mix.Tasks.Loadconfig.html
%%PORTDOCS%%%%DOCSDIR%%/mix/Mix.Tasks.Loadpaths.html
%%PORTDOCS%%%%DOCSDIR%%/mix/Mix.Tasks.Local.Hex.html
-%%PORTDOCS%%%%DOCSDIR%%/mix/Mix.Tasks.Local.PublicKeys.html
%%PORTDOCS%%%%DOCSDIR%%/mix/Mix.Tasks.Local.Rebar.html
%%PORTDOCS%%%%DOCSDIR%%/mix/Mix.Tasks.Local.html
%%PORTDOCS%%%%DOCSDIR%%/mix/Mix.Tasks.New.html
@@ -1068,14 +1066,14 @@ lib/elixir/lib/mix/lib/mix/utils.ex
%%PORTDOCS%%%%DOCSDIR%%/mix/api-reference.html
%%PORTDOCS%%%%DOCSDIR%%/mix/assets/logo.png
%%PORTDOCS%%%%DOCSDIR%%/mix/dist/html-DPJLHKSM.js
-%%PORTDOCS%%%%DOCSDIR%%/mix/dist/html-elixir-J3PIVQVA.css
+%%PORTDOCS%%%%DOCSDIR%%/mix/dist/html-elixir-KV3YOVJ3.css
%%PORTDOCS%%%%DOCSDIR%%/mix/dist/lato-latin-400-normal-W7754I4D.woff2
%%PORTDOCS%%%%DOCSDIR%%/mix/dist/lato-latin-700-normal-2XVSBPG4.woff2
%%PORTDOCS%%%%DOCSDIR%%/mix/dist/lato-latin-ext-400-normal-N27NCBWW.woff2
%%PORTDOCS%%%%DOCSDIR%%/mix/dist/lato-latin-ext-700-normal-Q2L5DVMW.woff2
%%PORTDOCS%%%%DOCSDIR%%/mix/dist/remixicon-QPNJX265.woff2
-%%PORTDOCS%%%%DOCSDIR%%/mix/dist/search_data-4AA84007.js
-%%PORTDOCS%%%%DOCSDIR%%/mix/dist/sidebar_items-37FA66D7.js
+%%PORTDOCS%%%%DOCSDIR%%/mix/dist/search_data-01B98D19.js
+%%PORTDOCS%%%%DOCSDIR%%/mix/dist/sidebar_items-7A85B680.js
%%PORTDOCS%%%%DOCSDIR%%/mix/docs_config.js
%%PORTDOCS%%%%DOCSDIR%%/mix/index.html
%%PORTDOCS%%%%DOCSDIR%%/mix/search.html
diff --git a/lang/erlang/Makefile b/lang/erlang/Makefile
index 0136bd7d1fcc..324e1807ff1c 100644
--- a/lang/erlang/Makefile
+++ b/lang/erlang/Makefile
@@ -1,7 +1,7 @@
PORTNAME= erlang
DISTVERSIONPREFIX= OTP-
DISTVERSION= 26.2.5.12
-PORTREVISION= 1
+PORTREVISION= 2
PORTEPOCH= 4
CATEGORIES= lang parallel java
DIST_SUBDIR= erlang
@@ -38,6 +38,9 @@ SUB_LIST= _TOOLS_VSN=${_TOOLS_VSN}
WRKSRC= ${WRKSRC_otp}
+USERS= beam
+GROUPS= beam
+
_EI_VSN= 5.5.1
_SNMP_VSN= 5.15
_TOOLS_VSN= 3.6
diff --git a/lang/erlang/files/epmd.in b/lang/erlang/files/epmd.in
index 15bf2c1bf1ae..1c9dc45c45bc 100644
--- a/lang/erlang/files/epmd.in
+++ b/lang/erlang/files/epmd.in
@@ -8,7 +8,7 @@
# epmd_enable="YES"
#
# Configure optional flags with:
-# epmd_flags="-address 127.0.0.1"
+# epmd_opts="-address 127.0.0.1"
. /etc/rc.subr
@@ -18,10 +18,24 @@ rcvar=epmd_enable
load_rc_config ${name}
: ${epmd_enable="NO"}
-: ${epmd_flags:-""}
+: ${epmd_opts:-""}
+: ${epmd_user="beam"}
-procname=%%PREFIX%%/bin/epmd
-start_cmd="%%PREFIX%%/bin/epmd -daemon ${epmd_flags}"
-stop_cmd="%%PREFIX%%/bin/epmd -kill >/dev/null"
+procname="daemon"
+pidfile="/var/run/epmd/epmd.pid"
+command="/usr/sbin/daemon"
+command_args="-f -r -P ${pidfile} %%PREFIX%%/bin/epmd ${epmd_opts}"
+command_user="${epmd_user}"
+
+start_precmd="epmd_precmd"
+
+epmd_precmd()
+{
+ if [ ! -d "/var/run/epmd" ]; then
+ install -d -o ${epmd_user} -g ${epmd_user} /var/run/epmd
+ fi
+ # Ensure beam user can write pidfile
+ install -m 644 -g ${epmd_user} -o ${epmd_user} /dev/null ${pidfile}
+}
run_rc_command "$1"
diff --git a/lang/gcc12-devel/Makefile b/lang/gcc12-devel/Makefile
index c523c1cb8969..4a09c2f31ed1 100644
--- a/lang/gcc12-devel/Makefile
+++ b/lang/gcc12-devel/Makefile
@@ -1,5 +1,5 @@
PORTNAME= gcc
-PORTVERSION= 12.4.1.s20250604
+PORTVERSION= 12.4.1.s20250618
CATEGORIES= lang
MASTER_SITES= GCC/snapshots/${DIST_VERSION}
PKGNAMESUFFIX= ${SUFFIX}-devel
diff --git a/lang/gcc12-devel/distinfo b/lang/gcc12-devel/distinfo
index dc42a822ecd1..8ec0b0b71b57 100644
--- a/lang/gcc12-devel/distinfo
+++ b/lang/gcc12-devel/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1749131331
-SHA256 (gcc-12-20250604.tar.xz) = 45a52b490de1f114256ec3a4e64cb32cde8718d15b49db5206db7ddbe8321eec
-SIZE (gcc-12-20250604.tar.xz) = 79932044
+TIMESTAMP = 1750592179
+SHA256 (gcc-12-20250618.tar.xz) = 4eb4a45bb0565c22ab7fb0a88e2f40008e5e82e9a93c2e0abc8c564dc1f0ce1d
+SIZE (gcc-12-20250618.tar.xz) = 79951420
diff --git a/lang/gcc13-devel/Makefile b/lang/gcc13-devel/Makefile
index 9ec22d81186f..29454472fe50 100644
--- a/lang/gcc13-devel/Makefile
+++ b/lang/gcc13-devel/Makefile
@@ -1,5 +1,5 @@
PORTNAME= gcc
-PORTVERSION= 13.4.1.s20250605
+PORTVERSION= 13.4.1.s20250619
CATEGORIES= lang
MASTER_SITES= GCC/snapshots/${DIST_VERSION}
PKGNAMESUFFIX= ${SUFFIX}-devel
diff --git a/lang/gcc13-devel/distinfo b/lang/gcc13-devel/distinfo
index 6b3a9932d855..5e6eff62809c 100644
--- a/lang/gcc13-devel/distinfo
+++ b/lang/gcc13-devel/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1749198001
-SHA256 (gcc-13-20250605.tar.xz) = b680e699a2929bf4a1f2de0222fea35e4080ad933a764e917ef25c5c851a013f
-SIZE (gcc-13-20250605.tar.xz) = 84570856
+TIMESTAMP = 1750592469
+SHA256 (gcc-13-20250619.tar.xz) = 8639348abc338c4c5224703ee84d72724ebda5a44dd800fd0e6f49c594d2d811
+SIZE (gcc-13-20250619.tar.xz) = 84584096
diff --git a/lang/gcc14-devel/Makefile b/lang/gcc14-devel/Makefile
index 5621afc5e258..ab9279267993 100644
--- a/lang/gcc14-devel/Makefile
+++ b/lang/gcc14-devel/Makefile
@@ -1,5 +1,5 @@
PORTNAME= gcc
-PORTVERSION= 14.3.1.s20250606
+PORTVERSION= 14.3.1.s20250620
PORTEPOCH= 1
CATEGORIES= lang
MASTER_SITES= GCC/snapshots/${DIST_VERSION}
diff --git a/lang/gcc14-devel/distinfo b/lang/gcc14-devel/distinfo
index 5c3b1f5f0e59..4f043e72f968 100644
--- a/lang/gcc14-devel/distinfo
+++ b/lang/gcc14-devel/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1749282724
-SHA256 (gcc-14-20250606.tar.xz) = ec78d72a9cb6f16f5de8c8bd166e2d1806791b518cfc4604b09d0e1cffe6f205
-SIZE (gcc-14-20250606.tar.xz) = 88335540
+TIMESTAMP = 1750592732
+SHA256 (gcc-14-20250620.tar.xz) = 636f57cc45574b1d1730dea79e180b07fd5d748bc24a48d95804570c9fbf289e
+SIZE (gcc-14-20250620.tar.xz) = 88310004
diff --git a/lang/gcc15-devel/Makefile b/lang/gcc15-devel/Makefile
index 759564accc2e..76d0f21bbea3 100644
--- a/lang/gcc15-devel/Makefile
+++ b/lang/gcc15-devel/Makefile
@@ -1,5 +1,5 @@
PORTNAME= gcc
-PORTVERSION= 15.1.1.s20250607
+PORTVERSION= 15.1.1.s20250621
CATEGORIES= lang
MASTER_SITES= GCC/snapshots/${DIST_VERSION}
PKGNAMESUFFIX= ${SUFFIX}-devel
diff --git a/lang/gcc15-devel/distinfo b/lang/gcc15-devel/distinfo
index ee8cef2a00e3..ecfe552f9ece 100644
--- a/lang/gcc15-devel/distinfo
+++ b/lang/gcc15-devel/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1749544226
-SHA256 (gcc-15-20250607.tar.xz) = 788f9f3b986200a1ec82d23287d373688ef6e69a183a6a09c25de4af239a75d7
-SIZE (gcc-15-20250607.tar.xz) = 92120760
+TIMESTAMP = 1750593091
+SHA256 (gcc-15-20250621.tar.xz) = 8daf3f4b943b34db7cee04bb36aafb5a75a1b531f00748699255e2f234f3116c
+SIZE (gcc-15-20250621.tar.xz) = 92115632
diff --git a/lang/gcc16-devel/Makefile b/lang/gcc16-devel/Makefile
index 2ebaa5e38a6f..4f258f5cd74f 100644
--- a/lang/gcc16-devel/Makefile
+++ b/lang/gcc16-devel/Makefile
@@ -1,5 +1,5 @@
PORTNAME= gcc
-PORTVERSION= 16.0.0.s20250608
+PORTVERSION= 16.0.0.s20250622
CATEGORIES= lang
MASTER_SITES= GCC/snapshots/${DIST_VERSION}
PKGNAMESUFFIX= ${SUFFIX}-devel
diff --git a/lang/gcc16-devel/distinfo b/lang/gcc16-devel/distinfo
index 706fadd22ab7..38d698cd1ba1 100644
--- a/lang/gcc16-devel/distinfo
+++ b/lang/gcc16-devel/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1749545517
-SHA256 (gcc-16-20250608.tar.xz) = 8c56c04bec7fbb86665cbb459d27cb53f38d5b364b61dc20af34e809d8238e31
-SIZE (gcc-16-20250608.tar.xz) = 93926024
+TIMESTAMP = 1750756585
+SHA256 (gcc-16-20250622.tar.xz) = b1076610f63d0a8d34d05933036aa3f6ee5700fd781ee624480162240d991aae
+SIZE (gcc-16-20250622.tar.xz) = 94019404
diff --git a/lang/ghc/Makefile b/lang/ghc/Makefile
index ce4fa4c9c728..cd524d948dc2 100644
--- a/lang/ghc/Makefile
+++ b/lang/ghc/Makefile
@@ -13,7 +13,7 @@ WWW= https://www.haskell.org/ghc/
LICENSE= BSD3CLAUSE
LICENSE_FILE= ${WRKSRC}/LICENSE
-ONLY_FOR_ARCHS= aarch64 amd64 i386
+ONLY_FOR_ARCHS= aarch64 amd64
BUILD_DEPENDS= ${LOCALBASE}/lib/libgmp.so:math/gmp
@@ -110,15 +110,8 @@ BUILD_MK= DYNAMIC_GHC_PROGRAMS=${ENABLE_DYNAMIC} \
.include <bsd.port.pre.mk>
-.if ${GHC_VERSION:C/\..*//g} >= 9 && ${ARCH} != i386
-# hadrian build on i386 fails due to https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=269570
-# relocation R_386_TLS_LE cannot be used with -shared
-USE_HADRIAN= yes
-.endif
-
.if ${GHC_VERSION:C/\..*//g} >= 9 && ${GHC_VERSION:C/[^\.]*\.//:C/\..*//g} >= 4
BOOT_SCRIPT= ./boot.source
-IGNORE_i386= requires Hadrian build which doesn't work on i386
.else
BOOT_SCRIPT= ./boot
.endif
@@ -132,7 +125,6 @@ HADRIAN_PLAN= ${MASTERDIR}/files/plan-bootstrap-${BOOT_GHC_VERSION:C/\./_/g}.js
PLIST_SUB+= GMP=
.endif
-.ifdef USE_HADRIAN
LIB_DEPENDS+= libffi.so:devel/libffi
.undef DYNAMIC_CONFIGURE_WITH
CONFIGURE_ARGS+= --with-system-libffi --with-ffi-includes=${LOCALBASE}/include --with-ffi-libraries=${LOCALBASE}/lib
@@ -145,9 +137,8 @@ INSTALL_WRKSRC= ${WRKSRC}/_build/bindist/ghc-${GHC_VERSION}-${CONFIGURE_TARGET}
INSTALL_TARGET= install
PLIST?= ${.CURDIR}/pkg-plist.hadrian
-. if (empty(PORT_OPTIONS:MDYNAMIC) || empty(PORT_OPTIONS:MPROFILE))
+.if (empty(PORT_OPTIONS:MDYNAMIC) || empty(PORT_OPTIONS:MPROFILE))
IGNORE= Building with Hadrian requires both DYNAMIC and PROFILE for now
-. endif
.endif
GHC_ARCH= ${ARCH:S/amd64/x86_64/:C/armv.*/arm/}
@@ -162,36 +153,17 @@ PLIST_SUB+= GHC_ARCH=${GHC_ARCH}
BOOT_DIR= ${WRKDIR}/ghc-${BOOT_GHC_VERSION}-${CONFIGURE_TARGET}
.endif
-# this is hacky but 92 is special as it is compiled with autotools on i386 and with Hadrian elsewhere
-.if ${SLAVE_PORT} == "yes" && ${PKGNAMESUFFIX} == "92"
-. ifdef USE_HADRIAN
-PLIST= ${.CURDIR}/../ghc92/pkg-plist.hadrian
-. else
-PLIST= ${.CURDIR}/../ghc92/pkg-plist
-. endif
-.endif
-
.if empty(PORT_OPTIONS:MBOOT)
DISTFILES+= ghc-${BOOT_GHC_VERSION}-boot-${ARCH}-freebsd${EXTRACT_SUFX}:boot
.endif # MBOOT
-.if !defined(IGNORE_MISSING_HADRIAN) && defined(USE_HADRIAN)
+.if !defined(IGNORE_MISSING_HADRIAN)
DISTFILES+= hadrian-${GHC_VERSION}-boot.tar.gz:boot
.endif
-.if ${ARCH} == aarch64 || ${ARCH:Marmv*}
-# ghc-8.10.x on arm requires devel/llvm10
-# CONFIGURE_TARGET must to be the same as the llvm triple
+.if ${ARCH} == aarch64
CONFIGURE_TARGET= ${ARCH}-unknown-freebsd${"${ARCH:Maarch64}" != "":?:-gnueabihf}
CONFIGURE_ARGS+= --host=${CONFIGURE_TARGET}
-BUILD_DEPENDS+= llc${LLVM_VERSION}:devel/llvm${LLVM_VERSION}
-RUN_DEPENDS+= llc${LLVM_VERSION}:devel/llvm${LLVM_VERSION}
-
-# When GHC being compiled and GHC used for bootstrapping support different
-# LLVM versions, we have to pull in both. Luckily, this is relatively rare.
-. if ${BOOT_LLVM_VERSION} != ${LLVM_VERSION}
-BUILD_DEPENDS+= llc${BOOT_LLVM_VERSION}:devel/llvm${BOOT_LLVM_VERSION}
-. endif
.endif
post-patch:
@@ -200,11 +172,9 @@ post-patch:
.for line in ${BUILD_MK}
${ECHO_CMD} ${line} >> ${WRKSRC}/mk/build.mk
.endfor
-.ifdef USE_HADRIAN
${SED} -e 's|%%DYNAMIC%%|${HADRIAN_SETTING_DYNAMIC}|' \
-e 's|%%PROFILE%%|${HADRIAN_SETTING_PROFILE}|' \
${PATCHDIR}/UserSettings.hs > ${WRKSRC}/hadrian/src/UserSettings.hs
-.endif
pre-configure:
# Call the bootstrap script
@@ -214,24 +184,18 @@ pre-configure:
cd ${BOOT_DIR} && ${CONFIGURE_CMD} ${CONFIGURE_ENV} --prefix=${BOOT_INSTALL_DIR}
cd ${BOOT_DIR} && ${SETENVI} ${WRK_ENV} ${GMAKE} PACKAGES='' install
.endif
-.ifdef USE_HADRIAN
# Compile Hadrian
cd ${WRKSRC}/hadrian/bootstrap && \
./bootstrap.py -w ${BOOT_GHC} -s ${DISTDIR}/hadrian-${GHC_VERSION}-boot.tar.gz
-.endif
-.ifdef USE_HADRIAN
pre-install:
cd ${INSTALL_WRKSRC} && ${CONFIGURE_CMD} ${CONFIGURE_ENV} --prefix=${PREFIX}
-.endif
post-install:
-.ifdef USE_HADRIAN
# Hadrian doesn't have --docdir
${MV} ${STAGEDIR}${DOCSDIR}-${GHC_VERSION} ${STAGEDIR}${DOCSDIR}
# These includes are duplicated in lib/ghc-X.Y.Z/lib/<triple>/rts-X.Y.Z/include
${RM} -r ${STAGEDIR}${PREFIX}/include/*
-.endif
${FIND} ${STAGEDIR}${DOCSDIR} -name .buildinfo -delete
# For some reason, INSTALL_TARGET=install-strip doesn't cause libraries to be stripped
# Run strip on them manually
@@ -239,9 +203,6 @@ post-install:
${FIND} ${STAGEDIR}${PREFIX}/lib/ghc-${GHC_VERSION} -name '*.so' -exec ${STRIP_CMD} {} +
${RM} ${STAGEDIR}${PREFIX}/bin/haddock
.if ${SLAVE_PORT} == "yes"
-. ifndef USE_HADRIAN
- ${MV} ${STAGEDIR}${PREFIX}/bin/hsc2hs ${STAGEDIR}${PREFIX}/bin/hsc2hs-ghc-${GHC_VERSION}
-. endif
${FIND} ${STAGEDIR}${PREFIX}/bin -not -type d -not -regex '.*-${GHC_VERSION}' -delete
${RM} -r ${STAGEDIR}${PREFIX}/lib/ghc-${GHC_VERSION}/html
${RM} -r ${STAGEDIR}${PREFIX}/lib/ghc-${GHC_VERSION}/latex
@@ -264,19 +225,9 @@ RUNHASKELL?= ${LOCALBASE}/bin/runhaskell
# Set all OPTIONS to OFF when generating bootstraps
.PHONY: create-bootstrap
create-bootstrap:
-.ifndef USE_HADRIAN
- cd ${WRKSRC} \
- && ${ECHO_CMD} "BIN_DIST_NAME=ghc-${GHC_VERSION}-boot" >> mk/build.mk \
- && ${ECHO_CMD} "BIN_DIST_TAR=ghc-${GHC_VERSION}-boot.tar" >> mk/build.mk \
- && ${ECHO_CMD} "HADDOCK_DOCS=NO" >> mk/build.mk \
- && ${SETENVI} ${WRK_ENV} ${GMAKE} binary-dist TAR_COMP=xz \
- && ${MV} ${WRKSRC}/ghc-${GHC_VERSION}-boot-${GHC_ARCH}-portbld-freebsd.tar.xz /tmp/ghc-${GHC_VERSION}-boot-${ARCH}-freebsd.tar.xz
-.else
cd ${WRKSRC} \
&& ${HADRIAN_CMD} binary-dist-xz \
&& ${MV} ${WRKSRC}/_build/bindist/ghc-${GHC_VERSION}-${CONFIGURE_TARGET}.tar.xz /tmp/ghc-${GHC_VERSION}-boot-${ARCH}-freebsd.tar.xz
-.endif
-
@cd /tmp \
&& sha256 ghc-${GHC_VERSION}-boot-${ARCH}-freebsd.tar.xz \
&& ${ECHO_CMD} -n "SIZE (ghc-${GHC_VERSION}-boot-${ARCH}-freebsd.tar.xz) = " \
@@ -286,17 +237,10 @@ create-bootstrap:
# Set DYNAMIC, GMP and PROFILE to ON, and DOCS to OFF when generating Stack bindist
.PHONY: create-stack-bindist
create-stack-bindist:
-.ifndef USE_HADRIAN
- cd ${WRKSRC} \
- && ${SETENVI} ${WRK_ENV} ${GMAKE} binary-dist TAR_COMP=xz \
- && ${MV} ${WRKSRC}/ghc-${GHC_VERSION}-${GHC_ARCH}-portbld-freebsd.tar.xz /tmp/
-.else
cd ${WRKSRC} \
&& ${HADRIAN_CMD} binary-dist-xz \
&& ${MV} ${WRKSRC}/_build/bindist/ghc-${GHC_VERSION}-${GHC_ARCH}-portbld-freebsd.tar.xz /tmp/
-.endif
-
- cd /tmp \
+ @cd /tmp \
&& ${ECHO_CMD} "${GHC_VERSION}:" \
&& ${ECHO_CMD} "url: \"http://distcache.FreeBSD.org/local-distfiles/arrowd/stack-bindists/ghc-${GHC_VERSION}-${GHC_ARCH}-portbld-freebsd.tar.xz\"" \
&& ${ECHO_CMD} -n "content-length: " \
diff --git a/lang/ghc/distinfo b/lang/ghc/distinfo
index 580b61c0b40b..6e28846db063 100644
--- a/lang/ghc/distinfo
+++ b/lang/ghc/distinfo
@@ -23,8 +23,6 @@ SHA256 (ghc-9.2.8-boot-amd64-freebsd.tar.xz) = 8b172a963e316a57906edb7914be76502
SIZE (ghc-9.2.8-boot-amd64-freebsd.tar.xz) = 117864544
SHA256 (ghc-8.10.7-boot-amd64-freebsd.tar.xz) = bde05fc239d962a4caea55d8c51a249145ef9a91695214b189078603d95e9b5b
SIZE (ghc-8.10.7-boot-amd64-freebsd.tar.xz) = 70284268
-SHA256 (ghc-8.10.7-boot-i386-freebsd.tar.xz) = b9b50875143311425d6f1b35d21d2d4d4d6e3beb8159b90adcc2440d77ecd30d
-SIZE (ghc-8.10.7-boot-i386-freebsd.tar.xz) = 69555468
SHA256 (ghc-9.6.7-boot-aarch64-freebsd.tar.xz) = 0c5abc06413c081240ab471592c78e350d1e0fcaf81559c25f3030dfa287ceb6
SIZE (ghc-9.6.7-boot-aarch64-freebsd.tar.xz) = 132563424
SHA256 (ghc-9.2.8-boot-aarch64-freebsd.tar.xz) = 23da026e3a9f1a4569aa7a464be016fc39b05afc9209e0d7662e151260b4964c
diff --git a/lang/gnat12/Makefile b/lang/gnat12/Makefile
index 35175ded2f43..63e6fbb1acb7 100644
--- a/lang/gnat12/Makefile
+++ b/lang/gnat12/Makefile
@@ -1,5 +1,6 @@
PORTNAME= gnat12
DISTVERSION= 12.3.0
+PORTREVISION= 1
CATEGORIES= lang
MASTER_SITES= http://gcc.gnu.org/pub/gcc/releases/gcc-${DISTVERSION}/:gcc \
LOCAL/thierry:gnat
@@ -141,7 +142,7 @@ PLIST_SUB+= AMD64="@comment " \
X86=" " \
64BIT="@comment "
.elif ${ARCH} == aarch64
-EXTRACT_CMD= ${SETENV} LC_ALL=en_US.UTF-8 /usr/bin/bsdtar
+EXTRACT_CMD= ${SETENV} LC_ALL=en_US.UTF-8 /usr/bin/bsdtar
PLIST_SUB+= X86="@comment " \
AMD64="@comment " \
AARCH64=" " \
diff --git a/lang/silq/Makefile b/lang/silq/Makefile
index 8e53a2d4f284..7ef75b66ca8f 100644
--- a/lang/silq/Makefile
+++ b/lang/silq/Makefile
@@ -1,6 +1,5 @@
PORTNAME= silq
-PORTVERSION= 20230412
-PORTREVISION= 1
+PORTVERSION= 20250624
CATEGORIES= lang math science
DIST_SUBDIR= silq
@@ -18,9 +17,9 @@ BUILD_DEPENDS= ldmd2:lang/ldc
USE_GITHUB= yes
-GH_TUPLE= eth-sri:silq:e9750cb \
- tgehr:ast:072796e:ast/ast \
- tgehr:util:a4532a4:util/util
+GH_TUPLE= eth-sri:silq:92a6f80 \
+ tgehr:ast:3b355c8:ast/ast \
+ tgehr:util:68629c1:util/util
OPTIONS_DEFINE= EXAMPLES
diff --git a/lang/silq/distinfo b/lang/silq/distinfo
index 1e64b52c4f42..c40137dd7ef0 100644
--- a/lang/silq/distinfo
+++ b/lang/silq/distinfo
@@ -1,7 +1,7 @@
-TIMESTAMP = 1681284932
-SHA256 (silq/eth-sri-silq-20230412-e9750cb_GH0.tar.gz) = f6e201f4fb1e639f7d8df9e018dbf79bda6e8a55f431801385abf6070f37e01e
-SIZE (silq/eth-sri-silq-20230412-e9750cb_GH0.tar.gz) = 187476
-SHA256 (silq/tgehr-ast-072796e_GH0.tar.gz) = ea5a472d6b2f7defbce624879abc9d5d87f3b3fb3ce5634172567e29b132567a
-SIZE (silq/tgehr-ast-072796e_GH0.tar.gz) = 87630
-SHA256 (silq/tgehr-util-a4532a4_GH0.tar.gz) = 667a992d464e88a1aec85efc5718bf309786b62f2e120d02f3f5f20088e1d1ad
-SIZE (silq/tgehr-util-a4532a4_GH0.tar.gz) = 9975
+TIMESTAMP = 1750781400
+SHA256 (silq/eth-sri-silq-20230412-92a6f80_GH0.tar.gz) = 4b3f2e5a64e7532c3ea40ab80a49a2a50445fb88c6dee6f0d43d644f65b59589
+SIZE (silq/eth-sri-silq-20230412-92a6f80_GH0.tar.gz) = 269058
+SHA256 (silq/tgehr-ast-3b355c8_GH0.tar.gz) = deb523b088bbae1c2eca89eb4639a9d7495a4a41adf17bba0f95fb387af21617
+SIZE (silq/tgehr-ast-3b355c8_GH0.tar.gz) = 139544
+SHA256 (silq/tgehr-util-68629c1_GH0.tar.gz) = 225ed34a98c3fc9ca747c5d99bc97fc6a63f4149d7edd69737acebb597132326
+SIZE (silq/tgehr-util-68629c1_GH0.tar.gz) = 13323
diff --git a/lang/silq/pkg-plist b/lang/silq/pkg-plist
index f90cc49cdebd..25ce1a530aa0 100644
--- a/lang/silq/pkg-plist
+++ b/lang/silq/pkg-plist
@@ -1,4 +1,11 @@
bin/silq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/abort1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/abort2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/adjustConstLookups1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/adjustConstLookups2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/adjustConstLookups3.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/adjustConstLookups4.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/adjustConstLookups5.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/argMatchSubtyping1.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/argMatchSubtyping2.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/arrayAddAssign.slq
@@ -6,38 +13,131 @@ bin/silq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/arrayConsumeIndexReplace.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/arrayElements.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/arrayEntryDup.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/arrayIndexConcatAssign.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/arraySlice1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/asciiUnit.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/asciiZ.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/asinQ.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/asinQ2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/assertExp.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/assertTypeError.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/assign1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/assign2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/assignAfterReturn1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/assignAfterReturn2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/assignExp1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/assignExp2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/assignExp3.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/assignExp4.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/assignExp5.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/assignExp6.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/assignExp7.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/assignFromArray.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/assignFromQuantum.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/assignQcontrol.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/assignQuantumArray.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/attributeTrace.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/badBoolUpdateAssign.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/badCallLhs.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/badCoerce.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/badControlUncomp.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/badForget.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/badForget2.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/badIndexReplacement.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/badIndexReplacement2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/badLhs1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/badLhs2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/badLhs3.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/badLhs4.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/badLhs5.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/badLhs6.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/badMeasurement1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/badMeasurement2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/badOpAssign.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/badProdType.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/badQuantumIndex1.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/badReverse.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/badSliceReplacement.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/badSliceReplacement2.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/badTypes.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/badVectorSyntax.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/bell.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/bernsteinVazirani.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/bernsteinVazirani2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/bernsteinVaziraniLoopLowered.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/binaryOperators1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/binaryOperators2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/binaryOperators3.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/binaryOperators4.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/bitwise1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/bitwise2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/boolIDiv.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/boolLiteral1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/boolLiteral2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/boolNSub.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/boolNSubError.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/boolVectorLength.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/bottomArithmetic.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/bottomIndexSlice.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/bottomPower.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/bottomType.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/bottomType2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/bottomType3.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/bottomType3_2.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/bug.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/builtInToPrelude.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/callDoubleSquare1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/captureAssign1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/captureAssign2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/captureClassicalAssign1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/captureClassicalAssign2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/captureClassicalOpAssign1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/captureClassicalOpAssign1_2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/captureClassicalOpAssign2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/captureClassicalOpAssign2_2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/captureClassicalOpAssign3.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/captureClassicalOpAssignLoop1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/captureClassicalOpAssignLoop2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/captureClassicalOpAssignLoop3.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/captureConst.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/captureConsumes.slq
-%%PORTEXAMPLES%%%%EXAMPLESDIR%%/captureIndexReplacement.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/captureFromType1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/captureFromType2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/captureInLoop.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/captureInNestedLoop.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/captureIndexReplacement1.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/captureIndexReplacement2.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/captureIndexReplacement3.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/captureIndexReplacement4.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/captureIndexReplacement5.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/captureIndexReplacement6.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/captureIndexReplacement6_2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/captureIndexReplacement6_3.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/captureIndexReplacement7.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/captureIndexReplacement7_2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/captureIndexReplacement8.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/captureIndexReplacementClassical1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/captureIndexReplacementClassical2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/captureIndexReplacementClassical3.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/captureIndexReplacementClassical4.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/captureIndexReplacementClassical5.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/captureIndexReplacementClassical6.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/captureIndexReplacementClassical6_2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/captureIndexReplacementClassical6_3.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/captureIndexReplacementClassical7.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/captureIndexReplacementClassical7_2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/captureIndexReplacementClassical8.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/captureOpAssign1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/captureOpAssign1_2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/captureOpAssign2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/captureOpAssignLoop1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/captureOpAssignLoop2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/captureReplacementClassical1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/captureReplacementClassical1_2.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/captureShadow.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/captureTwice.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/captureWithAnnotation.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/cat.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/classicalArrayAliasing.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/classicalAssign.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/classicalForget1.slq
@@ -50,7 +150,10 @@ bin/silq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/classicalHadamard.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/classicalQfree1.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/classicalQfree2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/classicalQnumeric.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/classicalQuantumIf.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/classicalQuantumSuperposition.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/closeOverDepType.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/closure.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/closureArrayTest.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/closureTest.slq
@@ -61,6 +164,7 @@ bin/silq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/closureTest6.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/closureTest7.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/closureTest8.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/closureTest9.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/cnot.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/cnot2.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/codeforces/stats/top10submissions/winter19/A1/1.slq
@@ -78,6 +182,7 @@ bin/silq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/codeforces/summer18/contest/a2.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/codeforces/summer18/contest/a3.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/codeforces/summer18/contest/a4.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/codeforces/summer18/contest/a4_2.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/codeforces/summer18/contest/b1.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/codeforces/summer18/contest/b2.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/codeforces/summer18/contest/b3.slq
@@ -99,6 +204,19 @@ bin/silq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/codeforces/summer18/warmup/g.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/codeforces/summer18/warmup/h.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/codeforces/summer18/warmup/i.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/codeforces/summer20/contest/a1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/codeforces/summer20/contest/a2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/codeforces/summer20/contest/a3.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/codeforces/summer20/contest/a4.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/codeforces/summer20/contest/a5.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/codeforces/summer20/contest/a6.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/codeforces/summer20/contest/a7.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/codeforces/summer20/contest/b1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/codeforces/summer20/contest/b2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/codeforces/summer20/contest/c1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/codeforces/summer20/contest/c2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/codeforces/summer20/contest/e1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/codeforces/summer20/contest/e2.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/codeforces/summer20/warmup/a1.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/codeforces/summer20/warmup/a2.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/codeforces/summer20/warmup/a3.slq
@@ -139,17 +257,43 @@ bin/silq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/coerceIntToVecLengthMismatch.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/coerceNegativeNatural.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/coerceReal.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/coerceTupleArray.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/coerceTupleArrayLengthMismatch.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/coerceTupleLengthMismatch.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/coerceVecToIntLengthMismatch.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/coerceVector.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/coerceVectorLengthMismatch.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/communicationGame.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/comparisonOperators1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/comparisonOperators2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/componentSplitting1.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/concatJoin.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/concatTuple1.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/condTwoAssertFalse.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/conditionalMeasurement.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/conditionalMeasurement2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/conditionalModulo.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/constBlockAssign.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/constBlockCapture.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/constBlockClassical.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/constBlockConsuming1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/constBlockConsuming10.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/constBlockConsuming11.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/constBlockConsuming11_2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/constBlockConsuming12.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/constBlockConsuming13.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/constBlockConsuming14.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/constBlockConsuming2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/constBlockConsuming3.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/constBlockConsuming4.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/constBlockConsuming5.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/constBlockConsuming6.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/constBlockConsuming7.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/constBlockConsuming8.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/constBlockConsuming9.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/constCaptureBad1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/constantLengthSlice1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/constantLengthSlice2.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/consumeAssign.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/consumeDepTypeVar.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/consumingSquare.slq
@@ -160,17 +304,36 @@ bin/silq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/convertMatch.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/convertMatch2.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/convertNatToInt.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/convertNatVectorToRealArray.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/convertTuple.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/convertUintToArray.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/convertVectors.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/convertVectors2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/deadCode1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/deadCode2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/deadCode3.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/deadCode4.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/deadCode5.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/deadCode6.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/depCapture1.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/depCond1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/depCond10.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/depCond2.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/depCond3.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/depCond4.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/depCond5.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/depCond6.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/depCond7.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/depCond8.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/depCond9.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/depConsume1.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/depConsume2.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/depConsume3.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/depIndexReplace.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/depIndexReplace2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/depIndexReplace3.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/depSplit1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/depSwap1.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/depTest.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/depTest2.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/depTest3.slq
@@ -185,16 +348,21 @@ bin/silq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/depType2_1.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/depType3.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/depType4.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/depTypeSplit1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/depTypeSplit2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/depVecType.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/dependencyLoop1.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/dependencyLoop2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/dependencyLoop3.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/detectZero.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/distinguish0H0.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/distinguish0H0_2.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/distinguishGHZandW.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/distinguishStates.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/divQ.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/divbyzero.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/divbyzero2.slq
-%%PORTEXAMPLES%%%%EXAMPLESDIR%%/divmod.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/divbyzero3.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/dlog.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/draper.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/draperFunny.slq
@@ -206,7 +374,20 @@ bin/silq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/dupClosure.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/dupClosure2.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/dupConvertForget.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/dynamicTupleIndex1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/dynamicTupleIndex2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/dynamicTupleIndex3.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/dynamicTupleIndex4.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/dynamicTupleSlice1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/dynamicTupleSlice2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/dynamicTupleSlice3.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/earlyReturn.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/earlyReturn10.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/earlyReturn10A.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/earlyReturn11.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/earlyReturn12.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/earlyReturn13.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/earlyReturn14.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/earlyReturn2.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/earlyReturn3.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/earlyReturn4.slq
@@ -214,11 +395,33 @@ bin/silq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/earlyReturn6.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/earlyReturn7.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/earlyReturn8.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/earlyReturn9.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/earlyReturnLoop1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/earlyReturnLoop2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/earlyReturnLoop3.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/earlyReturnLoopLowering1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/earlyReturnLoopLowering2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/earlyReturnLoopLowering3.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/earlyReturnQuantumIf.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/earlyReturnQuantumIf2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/earlyReturnQuantumIf3.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/elementwiseMove.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/errorLoopSplit.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/errorNonasciiWide.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/evalCoerceSub.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/evalConversion.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/evalDecimal.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/evalFixedInt.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/evalSubZero.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/expand1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/expand2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/expand3.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/expand4.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/extendTruncate.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/extendTruncateError.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/fib.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/fib2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/firstClassFunction1.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/firstClassTypeConstructor1.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/firstClassTypeConstructor10.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/firstClassTypeConstructor2.slq
@@ -229,9 +432,17 @@ bin/silq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/firstClassTypeConstructor7.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/firstClassTypeConstructor8.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/firstClassTypeConstructor9.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/fixedPointWithMoved.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/flipAll.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/floatOps.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/for.slq
-%%PORTEXAMPLES%%%%EXAMPLESDIR%%/forStep.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/forStep1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/forStep2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/forStep3.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/forStep4.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/forgetCapture1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/forgetCapture2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/forgetCapture3.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/forgetChain.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/forgetClassical.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/forgetCoerce.slq
@@ -246,41 +457,69 @@ bin/silq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/forgetDup2.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/forgetIfThenElse.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/forgetIfThenElseInvalid.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/forgetIndex.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/forgetIndexSlice.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/forgetLoop1.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/forgetNonReconstructableInvalid.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/forgetRedefine.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/forgetSpecialPatterns.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/forgetSynthesis.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/forgetSynthesis2.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/forgetSynthesis3.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/forgetSynthesis4.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/forgetSynthesisRec.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/forgetWhile.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/fromW.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/functionAlias2.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/functionBodyParseError.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/functionCallEval1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/functionCallEval2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/functionSubtype1.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/genericAddition.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/genericReverse.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/genericReverse2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/genericReverse3.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/genericReverse4.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/genericSubtyping1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/genericSubtyping2.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/grover.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/grover2.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/groverDiffusion.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/hIndex.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/hideAssign.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/hidingIndexReplacement.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/higherOrderReverse.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/higherOrderReverse2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/idivbyzero.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ifError.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ifFalseReassign.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ifSuperposition.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ifSuperposition2.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ifSuperposition3.slq
-%%PORTEXAMPLES%%%%EXAMPLESDIR%%/implicitDup.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/implicitDup1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/implicitDup2.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/implicitDupLifted.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/inOwnType.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/incompatibleFunDef.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/indexAssignDep.slq
-%%PORTEXAMPLES%%%%EXAMPLESDIR%%/indexOutOfBounds.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/indexEmptyTuple.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/indexOpAssign1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/indexOpAssign2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/indexOpAssign3.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/indexOpAssign3_2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/indexOpAssign4.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/indexOpAssign5.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/indexOpAssign6.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/indexOutOfBounds1.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/indexOutOfBounds10.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/indexOutOfBounds11.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/indexOutOfBounds12.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/indexOutOfBounds13.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/indexOutOfBounds14.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/indexOutOfBounds15.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/indexOutOfBounds16.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/indexOutOfBounds17.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/indexOutOfBounds18.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/indexOutOfBounds2.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/indexOutOfBounds3.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/indexOutOfBounds4.slq
@@ -295,16 +534,26 @@ bin/silq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/indexReplace4.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/indexReplace5.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/indexReplace6.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/indexReplace7.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/indexReplaceAlias1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/indexReplaceAlias2.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/indexReplaceConstAccess.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/indexReplaceConsume.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/indexReplaceDiagnostic1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/indexReplaceDiagnostic2.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/indexReplaceError2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/indexReplaceError3.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/indexReplaceErrorRhs.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/indexReplaceId.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/indexReplaceIfFunctionCall.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/indexRewriteContext.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/infiniteType1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/infiniteType2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/infiniteType3.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/innerProduct.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/innerProduct2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/intLt.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/intLt2.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/intUintBoolConversion.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/integerPhase.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/invQ.slq
@@ -316,25 +565,111 @@ bin/silq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ite4.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ite5.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ite6.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/iteCondError.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/iteLhs.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/iteLhs2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/iteQuantumPromote1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/iteQuantumPromote2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/iteQuantumPromote3.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/iteType1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/iteType2.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/iverson.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/lambdaCallLhs1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/lambdaCallLhs2.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/lambdaEq.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/lambdaLhs.slq
-%%PORTEXAMPLES%%%%EXAMPLESDIR%%/lengthConstFold.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/lengthConstFold1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/lengthConstFold2.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/lengthMismatch.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/lhsForget1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/lhsForget2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/lhsForget3.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/lhsForget4.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/lhsTypeAnnotation1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/lhsTypeAnnotation2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/lhsTypeAnnotation2_1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/lhsTypeAnnotation3.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/lhsTypeAnnotation4.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/liftedAssign.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/liftedConstArg.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/liftedConsuming1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/liftedConsuming2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/liftedConsuming3.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/liftedConsuming4.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/liftedConsuming4_2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/liftedConsuming5.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/liftedConsuming5_2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/liftedConsuming6.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/liftedConsuming7.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/liftedMeasure1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/liftedMeasure2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/liftedMeasure3.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/liftedMeasure4.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/liftedMeasure5.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/localVariableInFunctionReturnTypeError.slq
-%%PORTEXAMPLES%%%%EXAMPLESDIR%%/logicShortCircuit.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/logicShortCircuit1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/logicShortCircuit1_2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/logicShortCircuit2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/logicShortCircuit3.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/logicShortCircuit4.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/logicShortCircuit5.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/logicShortCircuit6.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/logicShortCircuit7.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/logicShortCircuit8.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/logicShortCircuit9.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/longTuple1.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/loopFixedPoint1.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/loopFixedPoint2.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/loopFixedPoint3.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/loopFixedPoint4.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/loopFixedPoint5.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/loopFixedPoint6.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/loopForgetRedefine1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/loopForgetRedefine2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/loopFunctionDef.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/loopFunctionDef2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/loopFunctionDef3.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/loopyFunctionAnnotation1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/lowerForLoopAssign.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/lowerLoop1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/lowerLoop2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/lowerLoop3.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/lowerLoop4.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/lowerLoop5.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/lowerLoop5_2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/lowerLoopBool.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/lowerLoopCaptureClassicalOpAssign1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/lowerLoopCaptureClassicalOpAssign2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/lowerLoopCaptureOpAssign1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/lowerLoopCaptureOpAssign2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/lowerLoopCommunicationGame.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/lowerLoopConst.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/lowerLoopDlog.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/lowerLoopEarlyReturn1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/lowerLoopEarlyReturn2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/lowerLoopEarlyReturn3.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/lowerLoopEarlyReturn4.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/lowerLoopEarlyReturn5.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/lowerLoopEarlyReturn5_2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/lowerLoopEarlyReturn6.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/lowerLoopForStep1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/lowerLoopForStep2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/lowerLoopForStep3.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/lowerLoopForget.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/lowerLoopForget2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/lowerLoopMultiDimAssign.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/lowerLoopShadowConst.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/lowerLoopShor.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/lowerRepeat1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/lowerRepeat2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/lowerTupleConcat.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/majorityOracle.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/makeWPower2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/makeWPower2_2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/makeWPower2_3.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/makeWPower2_4.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/manualPhaseEstimation.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/manualPhaseEstimation2.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/map1.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/map2.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/map3.slq
@@ -347,15 +682,25 @@ bin/silq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/measureFun2.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/measureHadamard.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/measureReversePhase.slq
-%%PORTEXAMPLES%%%%EXAMPLESDIR%%/measureUint.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/measureReversePhase2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/measureReversePhase3.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/measureUint1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/measureUint2.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/measureVector.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/mergeDependent1.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/mergeImplicitForget.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/mergeImplicitForget2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/mergeImplicitForget3.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/mergeTupleArray1.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/mfreeImplicitForget.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/mixed.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/mixed2.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/mixed3.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/mixed4.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/mixed5.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/modZero.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/multiConvert.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/multiDimAssign.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/multiDimReplace.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/multiForget.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/multiIndex1.slq
@@ -364,20 +709,34 @@ bin/silq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/multiReplace.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/multiResultIndexReplace.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/mustConsumeNonLifted.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/nVecToQArray.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/nandTree.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/natTypes.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/nestInf.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/nestedCapture.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/nestedClosure.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/nestedForLoop.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/nestedGlobal.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/nestedIndexReplace.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/nestedMeasure.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/nestedMutualRecursion1.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/nestedReplace.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/nestedTupleMatch.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/neverArray.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/newForLoopRangeSyntax.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/noImplicitForget.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/noLengthAssign.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/noQnumericJoin.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/nonLiftedH1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/nonLiftedIndexReplacement1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/nonLiftedIndexReplacement2.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/opAssignReverse.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/paramNotConsumedError.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/parameterSubtyping1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/parameterSubtyping2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/parameterSubtyping3.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/parameterSubtyping4.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/parameterSubtyping5.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/parameterizedSimulation.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/parseArrayOfVectorReturn.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/parseError.slq
@@ -390,8 +749,13 @@ bin/silq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/patternMatch11.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/patternMatch12.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/patternMatch2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/patternMatch2_2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/patternMatch2_3.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/patternMatch2_4.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/patternMatch3.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/patternMatch4.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/patternMatch4_2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/patternMatch4_3.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/patternMatch5.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/patternMatch6.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/patternMatch7.slq
@@ -399,36 +763,108 @@ bin/silq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/patternMatch9.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/phaseEstimation.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/phaseQ.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/photon.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/piToRat.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/pow1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/pow2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/pow3.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/pow4.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/print.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/projectForget.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/promoteQbitArithmetic.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/qft.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/qftPretty.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/qnumeric1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/qnumeric2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/qnumeric3.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/qnumericError1.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/qnumericError2.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/qnumericError3.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/qnumericError4.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/qnumericError5.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/qnumericError6.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/quantumBitNotMinus.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/quantumClassicalSubtyping.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/quantumControlClassicalAssignment.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/quantumIfClassicalUpdate1.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/quantumIfClassicalUpdate2.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/quantumIfClassicalUpdate3.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/quantumIfSuperpositionSizeOneCondition1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/quantumIfSuperpositionSizeOneCondition2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/quantumIndex1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/quantumIndex2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/quantumIndex3.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/quantumIndexAssign1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/quantumIndexAssign2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/quantumIndexAssign3.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/quantumIndexAssign4.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/quantumIndexAssign5.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/quantumIndexAssign6.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/quantumIndexAssign7.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/quantumIndexPromote1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/quantumIndexUpdate1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/quantumIndexUpdate2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/quantumOuterParams.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/quantumReplace.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/quantumReplaceOutOfBounds.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/quantumSub1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/quantumSub2.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/quid-updates.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/rationalBitwiseOr.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/rationalPhase.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/reassignArrayLength.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/reassignConst.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/reassignDepVar.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/reassignDependentTypeParameter.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/recursion.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/recursiveFunctionCapture1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/recursiveFunctionCapture2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/recursiveFunctionCapture3.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/recursiveFunctionCapture4.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/recursiveFunctionCapture5.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/recursiveFunctionCapture6.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/recursiveFunctionRecapture1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/recursiveFunctionReturn1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/recursiveFunctionReturn10.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/recursiveFunctionReturn11.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/recursiveFunctionReturn12.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/recursiveFunctionReturn13.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/recursiveFunctionReturn14.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/recursiveFunctionReturn15.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/recursiveFunctionReturn16.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/recursiveFunctionReturn17.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/recursiveFunctionReturn2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/recursiveFunctionReturn3.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/recursiveFunctionReturn4.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/recursiveFunctionReturn5.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/recursiveFunctionReturn6.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/recursiveFunctionReturn7.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/recursiveFunctionReturn8.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/recursiveFunctionReturn9.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/recursiveNested.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/recursiveNested2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/recursiveNested2_2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/recursiveNested3.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/recursiveNested4.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/recursiveNested5.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/recursiveNested6.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/renatoCommunicationGameV1.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/repeat.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/repeat100.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/repeatUntil.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/replaceClassical.slq
-%%PORTEXAMPLES%%%%EXAMPLESDIR%%/replaceIndex.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/replaceIndex1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/replaceIndex2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/replaceIndexBad1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/replaceIndexBad2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/replaceIndexClassical1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/replaceIndexClassical2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/replaceIndexConsumeLifted1.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/replaceIndexMulti0.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/replaceIndexMulti1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/replaceIndexMulti10.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/replaceIndexMulti11.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/replaceIndexMulti12.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/replaceIndexMulti2.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/replaceIndexMulti3.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/replaceIndexMulti4.slq
@@ -436,11 +872,32 @@ bin/silq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/replaceIndexMulti6.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/replaceIndexMulti7.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/replaceIndexMulti8.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/replaceIndexMulti9.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/replaceIndexOutOfBounds1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/replaceIndexOutOfBounds2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/replaceIndexOutOfBounds3.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/replaceIndexOutOfBounds4.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/replaceIndexOutOfBounds5.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/replaceSlice1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/replaceSlice2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/replaceSlice3.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ret2.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/retClosure.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/retPi.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/retTypeCrash1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/retTypeCrash2.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/reuseCapturedName.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/revDefLhs1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/revDefLhs2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/reverseApplyNested.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/reverseArithmetic.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/reverseBadLength.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/reverseCNOT.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/reverseConstUnit1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/reverseConstUnit2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/reverseConstUnit3.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/reverseConstUnit4.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/reverseCtype.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/reverseDependent.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/reverseEarlyReturn.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/reverseFlatten.slq
@@ -454,44 +911,118 @@ bin/silq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/reverseId.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/reverseId2.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/reverseId3.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/reverseId4.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/reverseId5.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/reverseId6.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/reverseId7.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/reverseId8.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/reverseImplicitForget.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/reverseLambda.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/reverseLifted.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/reverseMeasureNonClassical.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/reversePair.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/reversePhase.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/reversePhase2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/reversePhase3.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/reverseRecursiveNested1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/reverseRecursiveNested2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/reverseRewrites.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/reverseRotX.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/reverseRotY.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/reverseRotY2.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/reverseRotZ.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/reverseSingletonArg.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/reverseSquare.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/reverseSquare1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/reverseSquare10.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/reverseSquare11.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/reverseSquare12.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/reverseSquare13.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/reverseSquare14.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/reverseSquare2.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/reverseSquare3.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/reverseSquare4.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/reverseSquare5.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/reverseSquare6.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/reverseSquare7.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/reverseSquare8.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/reverseSquare9.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/reverseSubtype.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/reverseToW.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/reverseUintId.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/reverseUnpack.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/reverseWrongNargs.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/reverseX.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/reverseX2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/scientificNotation1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/semiclassicalQFT1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/semiclassicalQFT2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/shadowCapture1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/shadowCapture2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/shadowCapture3.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/shadowCapture4.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/shadowCaptured.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/shadowIndexReplacement1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/shadowIndexReplacement1_2.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/shadowing.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/shor.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/shortCircuitAnd1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/shortCircuitOrAssign1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/simpleSwap.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/sinQ.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/singletonVectorHadamard.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/sliceOutOfBounds1.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/sliceReplacement.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/sliceUnit.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/sliceUnitOutOfBounds.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/sliceUnitResultOutOfBounds.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/specialReverseTypeChecking.slq
-%%PORTEXAMPLES%%%%EXAMPLESDIR%%/splitArrayConst.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/specialReverseTypeChecking2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/splitArray1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/splitArray2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/splitArrayConst1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/splitArrayConst1_2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/splitArrayConst2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/splitArrayConst2_2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/splitComponents1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/splitMixed1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/splitMixed2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/splitMixed3.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/splitTuple1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/splitTuple2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/splitTuple3.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/splitTuple4.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/splitTuple5.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/splitVector1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/splitVector2.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/squareFunctionLhs.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/squareFunctionLhsConst.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/squareFunctionLhsConst2.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/squareFunctionLhsConst3.slq
-%%PORTEXAMPLES%%%%EXAMPLESDIR%%/squareFunctionReplace.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/squareFunctionReplace1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/squareFunctionReplace2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/strongIndexUpdate1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/strongIndexUpdate2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/strongIndexUpdate3.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/strongIndexUpdate4.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/strongIndexUpdate5.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/strongIndexUpdate6.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/strongUpdates1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/strongUpdates10.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/strongUpdates11.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/strongUpdates12.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/strongUpdates2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/strongUpdates3.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/strongUpdates4.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/strongUpdates5.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/strongUpdates6.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/strongUpdates7.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/strongUpdates8.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/strongUpdates9.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/subAssign1.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/subAssign2.slq
-%%PORTEXAMPLES%%%%EXAMPLESDIR%%/subtyping.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/subtyping1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/subtyping2.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/sumArray.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/sumIota.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/swapArray.slq
@@ -499,11 +1030,19 @@ bin/silq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/swapArray3.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/swapArray4.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/swapArray5.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/swapClassicalInt.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/swapClosures.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/swapDiffArrays.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/swapEmptyIf.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/swapInt.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/swapNoSwap.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/swapTuple1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/swapTuple2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/swapTuple3.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/swapTuple4.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/swapTuple5.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/swapTuple6.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/swapTuple7.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/swapVarWithComponent.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/swapVarWithComponent2.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/teleportation.slq
@@ -517,8 +1056,18 @@ bin/silq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/testForget.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/testGenericConvert1.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/testGenericConvert2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/testGenericConvert2_1.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/testHadamard.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/testLiftedClassical.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/testMod1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/testMod2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/testMod2_2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/testMod3.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/testMod3_2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/testMod3_3.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/testMod4.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/testMod5.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/testMod6.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/testParamSameName.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/testPunning.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/testQFT.slq
@@ -540,31 +1089,101 @@ bin/silq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/testUnsafeCaptureConst4.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/tf.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/tf_orig.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/tf_snippet.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/thirds.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/transpose.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/tupleArray.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/tupleComp.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/tupleCompLongVec1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/tupleCompLongVec2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/tupleCompLongVec3.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/tupleCompLongVec4.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/tupleCompLongVec5.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/tupleCompVec1.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/tupleConversion.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/typeAlias.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/typeAlias2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/typeAlias3.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/typeAliasIf1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/typeAliasIf2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/typeAsStatement.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/typeCheckBadLength.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/typeCheckBadPolyPauliRotY.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/typeCheckBadReverseLength.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/typeCheckLinearRotY.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/typeCheckMakeIntegerComparator.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/typeCheckMkVec.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/typeCheckNextCoeffs.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/typeCheckPolyPauliRot.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/typeCheckWeightedAdder.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/typeConstBlockCapture.slq
-%%PORTEXAMPLES%%%%EXAMPLESDIR%%/typeConstBlockForget.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/typeConstBlockForget1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/typeConstBlockForget2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/typeConstBlockForget3.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/typeError.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/typeError2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/typeEval1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/typeEval2.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/typeFunCall.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/typeFunCallCoerce.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/typePairError1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/typePairError2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/typeof1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/unaryOperators1.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/uncomputeOnArrayAssignment.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/undefLhs.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/unicodeLoc.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/unidiomaticBell.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/unitParamClosureArray.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/unitParamClosureArray2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/unitParamClosureArray3.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/unitRedefinition.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/unpackError.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/unreachableConsume.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/unrealizableError.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/variadic1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/variadic2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/variadic3.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/vectorConv.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/vectorLength.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/vectorLiteral1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/vectorLiteral2.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/vectorReverse.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/vectorToArray.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/warning.slq
-%%PORTEXAMPLES%%%%EXAMPLESDIR%%/while.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/while1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/while1_2.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/while2.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/whileFunctionCall.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/wildcardArray.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/wildcardArraySplit1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/wildcardArraySplit2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/wildcardArraySplit3.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/wildcardArraySplit4.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/wildcardForget.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/wildcardForget2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/wildcardVec1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/wildcardVec2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/wildcardVecSplit1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/wildcardVecSplit2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/wildcardVecSplit3.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/wildcardVecSplit4.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/wildcards1.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/with10.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/with11.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/with12.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/with12_2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/with12_3.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/with2.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/with3.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/with4.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/with5.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/with6.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/with7.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/with8.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/with9.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/withAbort.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/with_.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/wrapX.slq
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/xwing.slq
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/zeno.slq
generated by cgit v1.2.3 (git 2.25.1) at 2025-06-24 22:51:15 +0000