Fix

jump-dev · Mar 25, 2024 · f94306c · f94306c
1 parent e045ef6
commit f94306c
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 14 deletions.
diff --git a/paper/code/mutability.jl b/paper/code/mutability.jl
diff --git a/paper/paper.tex b/paper/paper.tex
@@ -225,7 +225,17 @@ \subsection{Mutability fallback}
 returns \lstinline|IsMutable()| if \lstinline|T| is in the first category
 and \lstinline|IsNotMutable()| if \lstinline|T| is in the second category.
 Then we have the following fallback for \lstinline|mutability|:
-\jlinputlisting{code/mutability.jl}
+\begin{jllisting}
+mutability(::Type) = IsNotMutable()
+function mutability(T::Type, op::Function, args::Type...)
+    if mutability(T) isa IsMutable &&
+        T == promote_operation(op, args...)
+        return IsMutable()
+    else
+        return IsNotMutable()
+    end
+end
+\end{jllisting}
 
 \subsection{Minimal interface}
 In summary, for a type \lstinline|Foo| to implement the interface,