File 0347-Add-clarification-on-nil-type.patch of Package erlang

Overview Repositories Revisions Requests Users Attributes Meta

File 0347-Add-clarification-on-nil-type.patch of Package erlang

From 629ad2e0971efcf58934c76ea1306b0ff0629339 Mon Sep 17 00:00:00 2001
From: Brujo Benavides <elbrujohalcon@gmail.com>
Date: Wed, 8 Aug 2018 12:51:59 -0300
Subject: [PATCH] Add clarification on nil type

As explained by @psyeugenic on Slack:
> empty list `[]` is regarded as a separate type from `list()`, `[]` < `list()`
> i.e. nil is `[]`
---
 system/doc/reference_manual/expressions.xml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/system/doc/reference_manual/expressions.xml b/system/doc/reference_manual/expressions.xml
index 94e40dd077..684a1191d0 100644
--- a/system/doc/reference_manual/expressions.xml
+++ b/system/doc/reference_manual/expressions.xml
@@ -567,6 +567,10 @@ Expr1 <input>op</input> Expr2</pre>
       order is defined:</p>
     <pre>
 number &lt; atom &lt; reference &lt; fun &lt; port &lt; pid &lt; tuple &lt; map &lt; nil &lt; list &lt; bit string</pre>
+    <p><c>nil</c> in the previous expression represents the empty list
+      (i.e. <c>[]</c>), which is regarded as a separate type from
+      <c>list/0</c>. That's why <c>nil &lt; list</c>.
+    </p>
     <p>Lists are compared element by element. Tuples are ordered by
       size, two tuples with the same size are compared element by
       element.</p>
-- 
2.16.4

Places

File 0347-Add-clarification-on-nil-type.patch of Package erlang

Places