X-Git-Url: https://gitweb.ps.run/toc/blobdiff_plain/dbc4a22d3c8c4189459f0361cb9da06415ec2dc9..c4231c6faf4e1b4650b075c641b0bb8c053739e4:/src/main.cpp?ds=sidebyside

diff --git a/src/main.cpp b/src/main.cpp
index 19b35f3..5b53b10 100644
--- a/src/main.cpp
+++ b/src/main.cpp
@@ -7,14 +7,15 @@
 #include "toc.h"
 #include "repr.h"
 #include "repr_get.h"
-#include "check.h"
+#include "generic.h"
+//#include "check.h"
 
 using namespace antlr4;
 
 
 int main(int argc, const char * argv[])
 {
-  std::ifstream ifs("test/test2.toc");
+  std::ifstream ifs("test/test.toc");
 
   ANTLRInputStream input(ifs);
 
@@ -31,24 +32,21 @@ int main(int argc, const char * argv[])
     return 1;
   }
 
-  std::string s = tree->toStringTree(&parser) + "\n";
-
+  //std::string s = tree->toStringTree(&parser) + "\n";
   //std::cout << "Parse Tree: " << s << std::endl;
 
-  Program prg = getProgram(prog);
+  Program prg = getProgram(prog, nullptr);
+  instantiateGenerics(prg);
 
   try
   {
     tocProgram(std::cout, prg);
 
-    if (!checkProgram(prg))
-      std::cerr << "Error" << std::endl;
-
     std::ofstream ofs("output.c");
     tocProgram(ofs, prg);
     ofs.close();
   }
-  catch (const std::string & e)
+  catch (const char * e)
   {
     std::cerr << "Error: " << e << std::endl;
   }