interpreter for "little"

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@119 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e

1 files changed, 13 insertions, 0 deletions

diff --git a/test/littlesemantics/main.c b/test/littlesemantics/main.c
new file mode 100644
index 00000000..5749cb25
--- /dev/null
+++ b/test/littlesemantics/main.c
@@ -0,0 +1,13 @@
+#include <stdio.h>
+#include "little.h"
+
+main() {
+  term *t;
+  t = variable("a");
+
+  if(NULL == t) {
+    printf("call to a term constructor returns a NULL pointer");
+  } else {
+    printf("a variable whose name is %s\n", t->term_body.string_val);
+  }
+}