aboutsummaryrefslogtreecommitdiff
path: root/src/gui/main-window.cc
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2013-06-28 05:02:14 +0000
committerdos-reis <gdr@axiomatics.org>2013-06-28 05:02:14 +0000
commit50ec7502934e4632348f4c3c8e060181f199dfc8 (patch)
treecd60fa76d27d654344f093a326222ff21685701b /src/gui/main-window.cc
parentb52f0164b18f06db386d527be26e3a11deb1ab7d (diff)
downloadopen-axiom-50ec7502934e4632348f4c3c8e060181f199dfc8.tar.gz
Add src/rt for core runtime support.
Diffstat (limited to 'src/gui/main-window.cc')
-rw-r--r--src/gui/main-window.cc21
1 files changed, 0 insertions, 21 deletions
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());
- }
}