diff options
| author | kr.angelov <kr.angelov@gmail.com> | 2013-11-04 17:10:46 +0000 |
|---|---|---|
| committer | kr.angelov <kr.angelov@gmail.com> | 2013-11-04 17:10:46 +0000 |
| commit | 546c7ac85950f98212e08a2ba93795d225fb19e6 (patch) | |
| tree | 54196590598f877a8a141ae4c7e450165018e8d7 /src/runtime/c/Makefile.am | |
| parent | 585a192d0bab7896763964a880cd1af527d94da1 (diff) | |
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
Diffstat (limited to 'src/runtime/c/Makefile.am')
| -rw-r--r-- | src/runtime/c/Makefile.am | 1 |
1 files changed, 1 insertions, 0 deletions
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 \ |