Description: Add nothrow dtors to exceptions
Author: Simon Richter <sjr@debian.org>
Last-Update: 2013-08-09

--- foundry-0.0.20130809.orig/lang/errors.h
+++ foundry-0.0.20130809/lang/errors.h
@@ -12,6 +12,7 @@ class internal_error :
 public:
         internal_error(std::string const &msg) :
                 std::runtime_error("internal error: " + msg) { }
+        virtual ~internal_error() throw() { }
 };
 
 class input_error :
@@ -19,6 +20,7 @@ class input_error :
 {
 public:
         input_error(std::string const &msg) : std::logic_error(msg) { }
+        virtual ~input_error() throw() { }
 };
 
 class unknown_production :
@@ -26,6 +28,7 @@ class unknown_production :
 {
 public:
         unknown_production() : input_error("unknown production") { }
+        virtual ~unknown_production() throw() { }
 };
 
 class unhandled_directive :
@@ -35,6 +38,7 @@ public:
         unhandled_directive(std::string const &directive) :
                 input_error("unhandled directive " + directive),
                 directive(directive) { }
+        virtual ~unhandled_directive() throw() { }
         std::string const directive;
 };
 
@@ -45,6 +49,7 @@ public:
         duplicate_rule(std::string const &rule) :
                 input_error("duplicate rule " + rule),
                 rule(rule) { }
+        virtual ~duplicate_rule() throw() { }
         std::string const rule;
 };
 
