[mU] 整理Kernel/eval.cpp部分代码，增强可读性

Author: baritono

Include/mU/Exceptions.h

@@ -8,6 +8,7 @@
 #ifndef EXCEPTIONS_H_
 #define EXCEPTIONS_H_
 
+#include <string>
 #include <boost/system/error_code.hpp>
 #include <boost/version.hpp>
 #ifdef _WIN32
@@ -20,7 +21,11 @@ namespace mU
 {
 	class Exception
 	{
-
+	public:
+		Exception() {}
+		Exception(const std::string &msg) : what(msg) {}
+	private:
+		std::string what;
 	};
 
 	class ParserException : public Exception

Include/mU/Pattern.h

@@ -68,6 +68,7 @@ class fix : public pat_t
 		return false;
 	}
 };
+
 class blank : public pat_t
 {
 	var m_name;
@@ -94,6 +95,7 @@ class blank : public pat_t
 		return false;
 	}
 };
+
 class blank_head : public pat_t
 {
 	var m_name;
@@ -125,6 +127,7 @@ class blank_head : public pat_t
 		return false;
 	}
 };
+
 class blank_flat : public pat_t
 {
 	var m_head;
@@ -162,6 +165,7 @@ class blank_flat : public pat_t
 		return false;
 	}
 };
+
 class blanks : public pat_t
 {
 	size_t m_size;
@@ -198,6 +202,7 @@ class blanks : public pat_t
 		return false;
 	}
 };
+
 class blanks_head : public pat_t
 {
 	var m_head;
@@ -237,6 +242,7 @@ class blanks_head : public pat_t
 		return false;
 	}
 };
+
 class condition : public pat_t
 {
 	class test : public pat_t
@@ -268,6 +274,7 @@ class condition : public pat_t
 		return false;
 	}
 };
+
 class head : public pat_t
 {
 	var m_head;
@@ -282,6 +289,7 @@ class head : public pat_t
 		return next(m,y);
 	}
 };
+
 class push : public pat_t
 {
 public:
@@ -294,6 +302,7 @@ class push : public pat_t
 		return next(m,y);
 	}
 };
+
 class pop : public pat_t
 {
 public:
@@ -307,6 +316,7 @@ class pop : public pat_t
 		return false;
 	}
 };
+
 class chain : public pat_t
 {
 	var m_head;
@@ -340,6 +350,7 @@ class chain : public pat_t
 		return Match(m,m_head,x);
 	}
 };
+
 class orderless : public pat_t
 {
 	std::multiset<var,Before2> m_fix;