| summaryrefslogtreecommitdiff |
diff options
| author | nsensfel <SpamShield0@noot-noot.org> | 2019-01-18 17:39:24 +0100 |
|---|---|---|
| committer | nsensfel <SpamShield0@noot-noot.org> | 2019-01-18 17:39:24 +0100 |
| commit | 44c976dd490accd3eed1ff49b5df476bcdb6c9b8 (patch) | |
| tree | c115108c677dd6a34f0eeb186c7802c142348e4e /src | |
| parent | b4aae14a0964614ee9fdbc11edd543e0d92e06b5 (diff) | |
Correctly defines the basic() type.
Diffstat (limited to 'src')
| -rw-r--r-- | src/ataxic.erl | 28 |
1 files changed, 26 insertions, 2 deletions
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 |