From 419597e32647666ece02fefb364af15af5143925 Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Mon, 20 Jul 2015 18:05:49 +0200
Subject: [PATCH] Document val with patterns

---
 doc/purescala.rst | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/doc/purescala.rst b/doc/purescala.rst
index f26a5e228..66dfadc1b 100644
--- a/doc/purescala.rst
+++ b/doc/purescala.rst
@@ -219,6 +219,11 @@ Values
 
  val (x, y) = ...
 
+ val Cons(h, _) = ...
+
+.. note::
+ The latter two cases are actually syntactic sugar for pattern matching with one case.
+
 
 Inner Functions
 ***************
-- 
GitLab