From 546c7ac85950f98212e08a2ba93795d225fb19e6 Mon Sep 17 00:00:00 2001 From: "kr.angelov" Date: Mon, 4 Nov 2013 17:10:46 +0000 Subject: A simple type checker in the C runtime. Dependent types are not supported yet but HOAS is implemented. The API is accessible from Python as well --- src/runtime/c/Makefile.am | 1 + 1 file changed, 1 insertion(+) (limited to 'src/runtime/c/Makefile.am') diff --git a/src/runtime/c/Makefile.am b/src/runtime/c/Makefile.am index 6716ec042..79a581ee5 100644 --- a/src/runtime/c/Makefile.am +++ b/src/runtime/c/Makefile.am @@ -97,6 +97,7 @@ libpgf_la_SOURCES = \ pgf/reader.h \ pgf/reader.c \ pgf/linearizer.c \ + pgf/typechecker.c \ pgf/reasoner.c \ pgf/printer.c \ pgf/graphviz.c \ -- cgit v1.2.3