From 44c976dd490accd3eed1ff49b5df476bcdb6c9b8 Mon Sep 17 00:00:00 2001
From: nsensfel <SpamShield0@noot-noot.org>
Date: Fri, 18 Jan 2019 17:39:24 +0100
Subject: Correctly defines the basic() type.

---
 src/ataxic.erl | 28 ++++++++++++++++++++++++++--
 1 file changed, 26 insertions(+), 2 deletions(-)

(limited to 'src')

diff --git a/src/ataxic.erl b/src/ataxic.erl
index 2bd8796..09613f7 100644
--- a/src/ataxic.erl
+++ b/src/ataxic.erl
@@ -40,8 +40,32 @@
 
 -record(list_cons, {param :: basic()}).
 
-% TODO: list all of the above.
--type basic() :: any().
+-type basic() ::
+   #field{}
+   | #upfield{}
+
+%%%% Sequence of instructions
+   | #seq{}
+
+%%%% List
+   | #const{}
+   | #current{}
+
+   | #apply_fun{}
+
+%%%% Number Comparison
+   | #gt{}
+   | #ge{}
+   | #lt{}
+   | #le{}
+   | #eq{}
+
+%%%% Bool Operations
+   | #land{}
+   | #lor{}
+   | #neg{}
+
+   | #list_cons{}.
 
 %%%% META OP %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 %%%% Select
-- 
cgit v1.2.3-70-g09d2