Test Suite for Quylthulg

This test suite is written in the format of Falderal 0.5. It is far from exhaustive, but provides a basic sanity check that the language I've designed here comes close to what I had in mind.

Quylthulg Tests

 Tests for Haskell function Qlzqqlzuup:showRun

Integer expressions.

5

= Int 5

+6+9+

= Int 15

+1+*7*-8-1-*+

= Int 50

String expressions.

&~$Shoes are $&&~~&~$4.99 a pair$&&

= Str "Shoes are $4.99 a pair"

List expressions.

[1,2,3]

= Cons (Int 1) (Cons (Int 2) (Cons (Int 3) Null))

[1,2|3]

= Cons (Int 1) (Cons (Int 2) (Int 3))

<[1,2|3]<abort<

= Int 1

<1<abort<

= Abort

>[1,2|3]>abort>

= Cons (Int 2) (Int 3)

>1>null>

= Null

,1,,2,3,,

= Cons (Int 1) (Cons (Int 2) (Int 3))

;[1,2];[3];

= Cons (Int 1) (Cons (Int 2) (Cons (Int 3) Null))

;[1,2];3;

= Cons (Int 1) (Cons (Int 2) (Int 3))

;null;null;

= Null

;[1];null;

= Cons (Int 1) Null

;null;[1];

= Cons (Int 1) Null

Labels and gotos.

:A:goto$A$

= Label "A" (Goto "A")

Foreach expressions.

foreach $n$=[7,2,3] with $a$=0 be +$a$+$n$+ else be abort

= Int 12

foreach $n$=null with $a$=0 be +$a$+$n$+ else be abort

= Abort

foreach $n$=[1,2,3] with $a$=null be ,$n$,$a$, else be null

= Cons (Int 3) (Cons (Int 2) (Cons (Int 1) Null))

foreach $n$=;[1];[1]; with $a$=[1] be $a$ else be null

= Cons (Int 1) Null

foreach $n$=;null;[1]; with $a$=[1] be $a$ else be null

= Cons (Int 1) Null

foreach $n$=;[1];null; with $a$=[1] be $a$ else be null

= Cons (Int 1) Null

foreach $n$=;null;null; with $a$=[1] be $a$ else be null

= Null

This is how boolean expressions can be built with foreaches.

foreach $n$=[1] with $a$=[1] be
  foreach $m$=$a$ with $b$=null be [1]
  else be null
else be null

= Cons (Int 1) Null

foreach $n$=null with $a$=[1] be
  foreach $m$=$a$ with $b$=null be [1]
  else be null
else be null

= Null

foreach $n$=[1] with $a$=null be
  foreach $m$=$a$ with $b$=null be [1]
  else be null
else be null

= Null

foreach $n$=null with $a$=null be
  foreach $m$=$a$ with $b$=null be [1]
  else be null
else be null

= Null

Macros.

{*[Five][5]}{Five}

= Int 5

{*[(A][1]}+{(A}+4+

= Int 5

{*[SQR][*{X}*{X}*]}{*[X][5]}{SQR}

= Int 25

{*[}][This is my comment!]}~${}}$

= Str "This is my comment!"

{*[Dave][3]}{*[Emily][4]}$Number of Macros Defined$

= Int 2

&~${$&~$*[S][T]}$&

= Str "{*[S][T]}"

&~${$&~$S}$&

= Str "{S}"

%&~${$&~$*[S][T]}$&%&~${$&~$S}$&%

= Str "T"