source: tests/bugs/7.cfa @ 4d85e47

// Trac ticket
// https://cforall.uwaterloo.ca/trac/ticket/7

#include <stdlib.hfa>
extern "C" {
#include <stdbool.h>
}

// (Bug 1 unresolved as of this test.)
forall(T)
struct stack_node;

forall(T)
struct stack_node {
    stack_node(T) * next;
    T item;
};

forall(T)
struct stack {
    stack_node(T) * head;
};

trait stack_errors(T) {
    T emptyStackHandler (stack(T) * this);
};

forall(T | stack_errors(T))
T pop (stack(T) * this) {
    return (T){};
}

int emptyStackHandler (stack(int) * this) {
    return 0;
}

int main (int argc, char * argv[]) {
    stack(int) stackOfInts;
    pop(&stackOfInts);
    return 0;
}