From 4f8b20a30fd65b80c6737f7fab5f841eca10556a Mon Sep 17 00:00:00 2001 From: Julie Schwartz Date: Fri, 5 Apr 2024 20:26:47 +1300 Subject: [PATCH] Libraries Guide: Fix type of continuousAssert Also fix the type in the Literate Haskell comments in the Assert package itself, even though they are not used to generate the document now. --- doc/libraries_ref_guide/LibDoc/Assert.tex | 2 +- src/Libraries/Base1/Assert.bs | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/doc/libraries_ref_guide/LibDoc/Assert.tex b/doc/libraries_ref_guide/LibDoc/Assert.tex index e4a9bfd90..3c53db839 100644 --- a/doc/libraries_ref_guide/LibDoc/Assert.tex +++ b/doc/libraries_ref_guide/LibDoc/Assert.tex @@ -59,7 +59,7 @@ \subsubsection{Assert} & \\ \cline{2-2} &\begin{libverbatim} -function Action continuousAssert(Bool b, String s); +module continuousAssert#(Bool b, String s)(Empty); \end{libverbatim} \\ \hline diff --git a/src/Libraries/Base1/Assert.bs b/src/Libraries/Base1/Assert.bs index 37f0588a9..8441fc1d8 100644 --- a/src/Libraries/Base1/Assert.bs +++ b/src/Libraries/Base1/Assert.bs @@ -48,7 +48,7 @@ nullModule = --@ Continuous run-time assertion (expected to be True on each clock). --@ Can be used anywhere a module instantiation is valid. --@ \begin{libverbatim} ---@ function Action continuousAssert(Bool b); +--@ module continuousAssert#(Bool b, String s)(Empty); --@ \end{libverbatim} continuousAssert :: (IsModule m c) => Bool -> String -> m Empty continuousAssert = if not testAssert then (\_ _ -> nullModule)