More on records.

diku-dk · Nov 13, 2017 · 52d00b3 · 52d00b3
1 parent 2c83378
commit 52d00b3
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/main.tex b/main.tex
@@ -1380,6 +1380,15 @@ \section{Records}
   {re = re, im = -im}
 \end{lstlisting}
 
+This convenience is also present in tuple expressions. If we elide the
+definition of a field, the value will be taken from the variable in
+scope with the same name:
+
+\begin{lstlisting}
+let conj ({re, im}: complex): complex =
+  {re, im = -im}
+\end{lstlisting}
+
 \subsection{Tuples as a Special Case of Records}
 
 In Futhark, tuples are merely records with numeric labels starting