From 50ec7502934e4632348f4c3c8e060181f199dfc8 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Fri, 28 Jun 2013 05:02:14 +0000
Subject: Add src/rt for core runtime support.

---
 src/gui/main-window.cc | 21 ---------------------
 1 file changed, 21 deletions(-)

(limited to 'src/gui/main-window.cc')

diff --git a/src/gui/main-window.cc b/src/gui/main-window.cc
index 9c4969b0..ef9ad95b 100644
--- a/src/gui/main-window.cc
+++ b/src/gui/main-window.cc
@@ -36,9 +36,6 @@
 #include <QMessageBox>
 #include <QScrollBar>
 
-#include <open-axiom/diagnostics>
-#include <open-axiom/sexpr>
-#include <open-axiom/FileMapping>
 #include "debate.h"
 #include "main-window.h"
 
@@ -50,24 +47,6 @@ namespace OpenAxiom {
 
    void
    MainWindow::read_databases() {
-      try {
-         const auto& fs = server()->system_root();
-         Memory::FileMapping db { fs.dbdir() + "/interp.daase" };
-         Sexpr::Reader rd { db.begin(), db.end() };
-         auto header = server()->lisp()->make_value(rd.read());
-         if (auto p = Lisp::to_pair_if_can(header)) {
-            auto offset = Lisp::retract_to_fixnum(p->head);
-            rd.position(offset);
-            auto table = server()->lisp()->toplevel_form(rd.read());
-         }
-         else {
-            QMessageBox::critical(this, tr("Malformed Database Header"),
-                                  QString(Lisp::show(header).c_str()));
-         }
-      }
-      catch(const Diagnostics::BasicError& e) {
-         display_error(e.message());
-      }
    }
 
 
-- 
cgit v1.2.3