test/littlesemantics/main.c


1
2
3
4
5
6
7
8
9
10
11
12
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);
  }
}