update.

11 files changed, 452 insertions, 140 deletions

diff --git a/MoonParser/ast.cpp b/src/MoonP/ast.cpp
index 6c86854..cda2339 100644
--- a/MoonParser/ast.cpp
+++ b/src/MoonP/ast.cpp
@@ -1,5 +1,15 @@
+/* Copyright (c) 2012, Achilleas Margaritis, modified by Jin Li
+All rights reserved.
+
+        Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met:
+
+        Redistributions of source code must retain the above copyright notice, this list of conditions and the following disclaimer.
+        Redistributions in binary form must reproduce the above copyright notice, this list of conditions and the following disclaimer in the documentation and/or other materials provided with the distribution.
+
+THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. */
+
 #include <cassert>
-#include "ast.hpp"
+#include "MoonP/ast.hpp"
 
 
 namespace parserlib {
diff --git a/MoonParser/ast.hpp b/src/MoonP/ast.hpp
index b388e77..f2ef76c 100644
--- a/MoonParser/ast.hpp
+++ b/src/MoonP/ast.hpp
@@ -1,3 +1,13 @@
+/* Copyright (c) 2012, Achilleas Margaritis, modified by Jin Li
+All rights reserved.
+
+        Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met:
+
+        Redistributions of source code must retain the above copyright notice, this list of conditions and the following disclaimer.
+        Redistributions in binary form must reproduce the above copyright notice, this list of conditions and the following disclaimer in the documentation and/or other materials provided with the distribution.
+
+THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. */
+
 #pragma once
 
 
@@ -5,7 +15,7 @@
 #include <list>
 #include <stdexcept>
 #include <type_traits>
-#include "parser.hpp"
+#include "MoonP/parser.hpp"
 
 
 namespace parserlib {
@@ -57,7 +67,7 @@ public:
         from a node stack.
         @param st stack.
      */
-    virtual void construct(ast_stack& st) {}
+    virtual void construct(ast_stack&) {}
 
     /** interface for visiting AST tree use.
      */
@@ -78,11 +88,9 @@ public:
 
         virtual bool visitChild(const std::function<bool (ast_node*)>& func);
 
-        virtual size_t getId() const { return "ast_node"_id; }
+        virtual size_t getId() const = 0;
 
-        virtual const char* getName() const { return "ast_node"; }
-
-        virtual int get_type() { return ast_type<ast_node>(); }
+        virtual int get_type() = 0;
 
         template<class T>
         inline ast_ptr<false, T> new_ptr() {
@@ -151,10 +159,6 @@ public:
         virtual traversal traverse(const std::function<traversal (ast_node*)>& func) override;
 
         virtual bool visitChild(const std::function<bool (ast_node*)>& func) override;
-
-        virtual size_t getId() const override { return "ast_container"_id; }
-
-        virtual const char* getName() const override { return "ast_container"; }
 private:
     ast_member_vector m_members;
 
@@ -285,14 +289,14 @@ public:
         // check the stack node
         if (st.empty()) {
                         if (!Required) return;
-                        throw std::logic_error("Invalid AST stack");
+                        throw std::logic_error("Invalid AST stack.");
                 }
         ast_node* node = st.back();
                 if (!ast_ptr::accept(node)) {
                         // if the object is not required, simply return
                         if (!Required) return;
                         // else if the object is mandatory, throw an exception
-                        throw std::logic_error("Invalid AST node");
+                        throw std::logic_error("Invalid AST node.");
                 }
         st.pop_back();
         m_ptr = node;
@@ -327,12 +331,12 @@ public:
     virtual void construct(ast_stack& st) override {
         if (st.empty()) {
                 if (!Required) return;
-                        throw std::logic_error("Invalid AST stack");
+                        throw std::logic_error("Invalid AST stack.");
                 }
         ast_node* node = st.back();
         if (!ast_sel::accept(node)) {
                 if (!Required) return;
-                throw std::logic_error("Invalid AST node");
+                throw std::logic_error("Invalid AST node.");
                 }
         st.pop_back();
         m_ptr = node;
@@ -388,20 +392,6 @@ public:
                 node->release();
         }
 
-    void set_front(ast_node* node) {
-        assert(node && accept(node));
-                m_objects.front()->release();
-                m_objects.front() = node;
-                node->retain();
-        }
-
-    void set_back(ast_node* node) {
-        assert(node && accept(node));
-                m_objects.back()->release();
-                m_objects.back() = node;
-                node->retain();
-        }
-
          const node_container& objects() const {
         return m_objects;
     }
@@ -455,7 +445,7 @@ public:
             // end the list parsing
             if (!ast_list::accept(node)) {
                 if (Required && m_objects.empty()) {
-                        throw std::logic_error("Invalid AST node");
+                        throw std::logic_error("Invalid AST node.");
                                 }
                 return;
             }
@@ -465,7 +455,7 @@ public:
             node->retain();
         }
                 if (Required && m_objects.empty()) {
-                        throw std::logic_error("Invalid AST stack");
+                        throw std::logic_error("Invalid AST stack.");
                 }
     }
 private:
@@ -493,7 +483,7 @@ public:
             ast_node* node = st.back();
             if (!ast_sel_list::accept(node)) {
                 if (Required && m_objects.empty()) {
-                        throw std::logic_error("Invalid AST node");
+                        throw std::logic_error("Invalid AST node.");
                                 }
                 return;
             }
@@ -502,7 +492,7 @@ public:
             node->retain();
         }
                 if (Required && m_objects.empty()) {
-                        throw std::logic_error("Invalid AST stack");
+                        throw std::logic_error("Invalid AST stack.");
                 }
     }
 private:
@@ -548,7 +538,7 @@ private:
     @return pointer to ast node created, or null if there was an error.
         The return object must be deleted by the caller.
  */
-ast_node* _parse(input &i, rule &g, error_list &el, void* ud);
+ast_node* _parse(input& i, rule& g, error_list& el, void* ud);
 
 
 /** parses the given input.
@@ -558,7 +548,7 @@ ast_node* _parse(input &i, rule &g, error_list &el, void* ud);
     @param ud user data, passed to the parse procedures.
     @return ast nodes.
  */
-template <class T> ast_ptr<false, T> parse(input &i, rule &g, error_list &el, void* ud = nullptr) {
+template <class T> ast_ptr<false, T> parse(input& i, rule& g, error_list& el, void* ud = nullptr) {
     ast_node* node = _parse(i, g, el, ud);
     T* ast = ast_cast<T>(node);
     ast_ptr<false, T> ptr;
diff --git a/MoonParser/moon_ast.cpp b/src/MoonP/moon_ast.cpp
index 6b175fc..0ccd0ed 100644
--- a/MoonParser/moon_ast.cpp
+++ b/src/MoonP/moon_ast.cpp
@@ -1,4 +1,12 @@
-#include "moon_ast.h"
+/* Copyright (c) 2020 Jin Li, http://www.luvfight.me
+
+Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the "Software"), to deal in the Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE. */
+
+#include "MoonP/moon_ast.h"
 
 namespace MoonP {
 
diff --git a/MoonParser/moon_ast.h b/src/MoonP/moon_ast.h
index a77fb40..a614465 100644
--- a/MoonParser/moon_ast.h
+++ b/src/MoonP/moon_ast.h
@@ -1,6 +1,14 @@
+/* Copyright (c) 2020 Jin Li, http://www.luvfight.me
+
+Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the "Software"), to deal in the Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE. */
+
 #pragma once
 
-#include "moon_parser.h"
+#include "MoonP/moon_parser.h"
 
 namespace MoonP {
 
@@ -11,7 +19,6 @@ class type##_t : public ast_node \
 public: \
         virtual int get_type() override { return ast_type<type##_t>(); } \
         virtual size_t getId() const override { return id; } \
-        virtual const char* getName() const override { return #type; }
 
 #define AST_NODE(type, id) \
 extern rule type; \
@@ -20,7 +27,6 @@ class type##_t : public ast_container \
 public: \
         virtual int get_type() override { return ast_type<type##_t>(); } \
         virtual size_t getId() const override { return id; } \
-        virtual const char* getName() const override { return #type; }
 
 #define AST_MEMBER(type, ...) \
         type##_t() { \
diff --git a/MoonParser/moon_compiler.cpp b/src/MoonP/moon_compiler.cpp
index 85b19ff..f9a86a6 100644
--- a/MoonParser/moon_compiler.cpp
+++ b/src/MoonP/moon_compiler.cpp
@@ -1,3 +1,11 @@
+/* Copyright (c) 2020 Jin Li, http://www.luvfight.me
+
+Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the "Software"), to deal in the Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE. */
+
 #include <string>
 #include <unordered_set>
 #include <unordered_map>
@@ -8,9 +16,9 @@
 #include <sstream>
 #include <string_view>
 using namespace std::string_view_literals;
-#include "parser.hpp"
-#include "moon_ast.h"
-#include "moon_compiler.h"
+#include "MoonP/parser.hpp"
+#include "MoonP/moon_ast.h"
+#include "MoonP/moon_compiler.h"
 
 namespace MoonP {
 
@@ -24,12 +32,19 @@ inline std::string s(std::string_view sv) {
         return std::string(sv);
 }
 
+const char* moonScriptVersion() {
+        return "0.5.0";
+}
+
 class MoonCompliler {
 public:
-        std::pair<std::string,std::string> complile(const std::string& codes, bool lintGlobalVar, bool implicitReturnRoot, bool lineNumber) {
-                _lintGlobalVar = lintGlobalVar;
-                _lineNumber = lineNumber;
-                _input = _converter.from_bytes(codes);
+        std::pair<std::string,std::string> complile(const std::string& codes, const MoonConfig& config) {
+                _config = config;
+                try {
+                        _input = _converter.from_bytes(codes);
+                } catch (const std::range_error&) {
+                        return {Empty, "Invalid text encoding."};
+                }
                 error_list el;
                 State st;
                 ast_ptr<false, File_t> root;
@@ -43,7 +58,7 @@ public:
                         try {
                                 str_list out;
                                 pushScope();
-                                transformBlock(root->block, out, implicitReturnRoot);
+                                transformBlock(root->block, out, config.implicitReturnRoot);
                                 popScope();
                                 return {std::move(out.back()), Empty};
                         } catch (const std::logic_error& error) {
@@ -82,8 +97,7 @@ public:
                 _input.clear();
         }
 private:
-        bool _lintGlobalVar = false;
-        bool _lineNumber = false;
+        MoonConfig _config;
         int _indentOffset = 0;
         Converter _converter;
         input _input;
@@ -143,12 +157,6 @@ private:
                 Closure
         };
 
-        enum class IfUsage {
-                Return,
-                Closure,
-                Common
-        };
-
         void pushScope() {
                 _scopes.emplace_back();
                 _scopes.back().vars = std::make_unique<std::unordered_set<std::string>>();
@@ -256,7 +264,7 @@ private:
         }
 
         const std::string nll(ast_node* node) {
-                if (_lineNumber) {
+                if (_config.reserveLineNumber) {
                         return s(" -- "sv) + std::to_string(node->m_begin.m_line) + _newLine;
                 } else {
                         return _newLine;
@@ -264,7 +272,7 @@ private:
         }
 
         const std::string nlr(ast_node* node) {
-                if (_lineNumber) {
+                if (_config.reserveLineNumber) {
                         return s(" -- "sv) + std::to_string(node->m_end.m_line) + _newLine;
                 } else {
                         return _newLine;
@@ -280,11 +288,11 @@ private:
         }
 
         std::string indent() {
-                return std::string((_scopes.size() - 1 + _indentOffset) * 2, ' ');
+                return _config.spaceOverTab ? std::string((_scopes.size() - 1 + _indentOffset) * 2, ' ') : std::string(_scopes.size() - 1 + _indentOffset, '\t');
         }
 
         std::string indent(int offset) {
-                return std::string((_scopes.size() - 1 + _indentOffset + offset) * 2, ' ');
+                return _config.spaceOverTab ? std::string((_scopes.size() - 1 + _indentOffset + offset) * 2, ' ') : std::string(_scopes.size() - 1 + _indentOffset + offset, '\t');
         }
 
         std::string clearBuf() {
@@ -699,12 +707,16 @@ private:
                                                         }
                                                 }
                                         }
-                                        auto assign = x->new_ptr<Assign_t>();
-                                        assign->values.dup(expList->exprs);
-                                        auto assignment = x->new_ptr<ExpListAssign_t>();
-                                        assignment->expList.set(toAst<ExpList_t>("_", ExpList, x));
-                                        assignment->action.set(assign);
-                                        transformAssignment(assignment, out);
+                                        if (_config.allowExprNotInTheEndOfBody) {
+                                                auto assign = x->new_ptr<Assign_t>();
+                                                assign->values.dup(expList->exprs);
+                                                auto assignment = x->new_ptr<ExpListAssign_t>();
+                                                assignment->expList.set(toAst<ExpList_t>("_", ExpList, x));
+                                                assignment->action.set(assign);
+                                                transformAssignment(assignment, out);
+                                        } else {
+                                                throw std::logic_error(debugInfo("Expression list must appear at the end of body block."sv, expList));
+                                        }
                                 }
                                 break;
                         }
@@ -1051,7 +1063,7 @@ private:
         void transformAssignItem(ast_node* value, str_list& out) {
                 switch (value->getId()) {
                         case "With"_id: transformWithClosure(static_cast<With_t*>(value), out); break;
-                        case "If"_id: transformIf(static_cast<If_t*>(value), out, IfUsage::Closure); break;
+                        case "If"_id: transformIf(static_cast<If_t*>(value), out, ExpUsage::Closure); break;
                         case "Switch"_id: transformSwitchClosure(static_cast<Switch_t*>(value), out); break;
                         case "TableBlock"_id: transformTableBlock(static_cast<TableBlock_t*>(value), out); break;
                         case "Exp"_id: transformExp(static_cast<Exp_t*>(value), out); break;
@@ -1093,8 +1105,8 @@ private:
                                                                 s("["sv) + std::to_string(index) + s("]"sv) + p.structure});
                                                 }
                                         } else {
-                                                bool checkGlobal = _lintGlobalVar;
-                                                _lintGlobalVar = false;
+                                                bool lintGlobal = _config.lintGlobalVariable;
+                                                _config.lintGlobalVariable = false;
                                                 auto exp = static_cast<Exp_t*>(pair);
                                                 auto varName = singleVariableFrom(exp);
                                                 bool isVariable = !varName.empty();
@@ -1103,7 +1115,7 @@ private:
                                                         transformExp(exp, temp);
                                                         varName = std::move(temp.back());
                                                 }
-                                                _lintGlobalVar = checkGlobal;
+                                                _config.lintGlobalVariable = lintGlobal;
                                                 pairs.push_back({
                                                         isVariable,
                                                         varName,
@@ -1133,8 +1145,8 @@ private:
                                                                         s("."sv) + toString(key) + p.structure});
                                                         }
                                                 } else {
-                                                        bool checkGlobal = _lintGlobalVar;
-                                                        _lintGlobalVar = false;
+                                                        bool lintGlobal = _config.lintGlobalVariable;
+                                                        _config.lintGlobalVariable = false;
                                                         auto varName = singleVariableFrom(exp);
                                                         bool isVariable = !varName.empty();
                                                         if (!isVariable) {
@@ -1142,7 +1154,7 @@ private:
                                                                 transformExp(exp, temp);
                                                                 varName = std::move(temp.back());
                                                         }
-                                                        _lintGlobalVar = checkGlobal;
+                                                        _config.lintGlobalVariable = lintGlobal;
                                                         pairs.push_back({
                                                                 isVariable,
                                                                 varName,
@@ -1322,7 +1334,7 @@ private:
                 }
         }
 
-        void transformCond(const node_container& nodes, str_list& out, IfUsage usage = IfUsage::Common, bool unless = false) {
+        void transformCond(const node_container& nodes, str_list& out, ExpUsage usage = ExpUsage::Common, bool unless = false) {
                 std::vector<ast_ptr<false, ast_node>> ns(false);
                 for (auto it = nodes.rbegin(); it != nodes.rend(); ++it) {
                         ns.push_back(*it);
@@ -1362,7 +1374,7 @@ private:
                         return;
                 }
                 str_list temp;
-                if (usage == IfUsage::Closure) {
+                if (usage == ExpUsage::Closure) {
                         temp.push_back(s("(function()"sv) + nll(nodes.front()));
                         pushScope();
                 }
@@ -1389,7 +1401,7 @@ private:
                         auto var = singleVariableFrom(exp);
                         if (var.empty()) {
                                 storingValue = true;
-                                std::string desVar = getUnusedName("_des_");
+                                auto desVar = getUnusedName("_des_");
                                 if (assign->values.objects().size() == 1) {
                                         auto var = singleVariableFrom(assign->values.objects().front());
                                         if (!var.empty()) {
@@ -1398,7 +1410,7 @@ private:
                                         }
                                 }
                                 if (storingValue) {
-                                        if (usage != IfUsage::Closure) {
+                                        if (usage != ExpUsage::Closure) {
                                                 temp.push_back(indent() + s("do"sv) + nll(assign));
                                                 pushScope();
                                         }
@@ -1423,7 +1435,7 @@ private:
                         } else {
                                 if (!isDefined(var)) {
                                         storingValue = true;
-                                        if (usage != IfUsage::Closure) {
+                                        if (usage != ExpUsage::Closure) {
                                                 temp.push_back(indent() + s("do"sv) + nll(assign));
                                                 pushScope();
                                         }
@@ -1467,7 +1479,7 @@ private:
                                 if (pair == ifCondPairs.front() && extraAssignment) {
                                         transformAssignment(extraAssignment, temp);
                                 }
-                                transformBody(pair.second, temp, usage != IfUsage::Common);
+                                transformBody(pair.second, temp, usage != ExpUsage::Common);
                                 popScope();
                         }
                         if (!pair.first) {
@@ -1475,22 +1487,22 @@ private:
                                 break;
                         }
                 }
-                if (storingValue && usage != IfUsage::Closure) {
+                if (storingValue && usage != ExpUsage::Closure) {
                         popScope();
                         temp.push_back(indent() + s("end"sv) + nlr(nodes.front()));
                 }
-                if (usage == IfUsage::Closure) {
+                if (usage == ExpUsage::Closure) {
                         popScope();
                         temp.push_back(indent() + s("end)()"sv));
                 }
                 out.push_back(join(temp));
         }
 
-        void transformIf(If_t* ifNode, str_list& out, IfUsage usage = IfUsage::Common) {
+        void transformIf(If_t* ifNode, str_list& out, ExpUsage usage = ExpUsage::Common) {
                 transformCond(ifNode->nodes.objects(), out, usage);
         }
 
-        void transformUnless(Unless_t* unless, str_list& out, IfUsage usage = IfUsage::Common) {
+        void transformUnless(Unless_t* unless, str_list& out, ExpUsage usage = ExpUsage::Common) {
                 transformCond(unless->nodes.objects(), out, usage, true);
         }
 
@@ -1545,7 +1557,7 @@ private:
                 switch (item->getId()) {
                         case "Variable"_id: {
                                 transformVariable(static_cast<Variable_t*>(item), out);
-                                if (_lintGlobalVar && !isDefined(out.back())) {
+                                if (_config.lintGlobalVariable && !isDefined(out.back())) {
                                         if (_globals.find(out.back()) == _globals.end()) {
                                                 _globals[out.back()] = {item->m_begin.m_line, item->m_begin.m_col};
                                         }
@@ -1553,7 +1565,7 @@ private:
                                 break;
                         }
                         case "SelfName"_id: { transformSelfName(static_cast<SelfName_t*>(item), out, invoke);
-                                if (_lintGlobalVar) {
+                                if (_config.lintGlobalVariable) {
                                         std::string self("self"sv);
                                         if (!isDefined(self)) {
                                                 if (_globals.find(self) == _globals.end()) {
@@ -1579,8 +1591,8 @@ private:
                 auto value = simpleValue->value.get();
                 switch (value->getId()) {
                         case "const_value"_id: transform_const_value(static_cast<const_value_t*>(value), out); break;
-                        case "If"_id: transformIf(static_cast<If_t*>(value), out, IfUsage::Closure); break;
-                        case "Unless"_id: transformUnless(static_cast<Unless_t*>(value), out, IfUsage::Closure); break;
+                        case "If"_id: transformIf(static_cast<If_t*>(value), out, ExpUsage::Closure); break;
+                        case "Unless"_id: transformUnless(static_cast<Unless_t*>(value), out, ExpUsage::Closure); break;
                         case "Switch"_id: transformSwitchClosure(static_cast<Switch_t*>(value), out); break;
                         case "With"_id: transformWithClosure(static_cast<With_t*>(value), out); break;
                         case "ClassDecl"_id: transformClassDeclClosure(static_cast<ClassDecl_t*>(value), out); break;
@@ -1790,10 +1802,10 @@ private:
                                                         transformForEachInPlace(static_cast<ForEach_t*>(value), out);
                                                         return;
                                                 case "If"_id:
-                                                        transformIf(static_cast<If_t*>(value), out, IfUsage::Return);
+                                                        transformIf(static_cast<If_t*>(value), out, ExpUsage::Return);
                                                         return;
                                                 case "Unless"_id:
-                                                        transformUnless(static_cast<Unless_t*>(value), out, IfUsage::Return);
+                                                        transformUnless(static_cast<Unless_t*>(value), out, ExpUsage::Return);
                                                         return;
                                         }
                                 }
@@ -2075,7 +2087,7 @@ private:
                                                 throw std::logic_error(debugInfo("Colon chain item must be followed by invoke arguments."sv, colonItem));
                                         }
                                         if (colonItem->name.is<LuaKeyword_t>()) {
-                                                auto callVar = getUnusedName(s("_call_"sv));
+                                                std::string callVar;
                                                 auto block = x->new_ptr<Block_t>();
                                                 {
                                                         auto chainValue = x->new_ptr<ChainValue_t>();
@@ -2092,14 +2104,18 @@ private:
                                                         value->item.set(chainValue);
                                                         auto exp = x->new_ptr<Exp_t>();
                                                         exp->value.set(value);
-                                                        auto assignment = x->new_ptr<ExpListAssign_t>();
-                                                        assignment->expList.set(toAst<ExpList_t>(callVar, ExpList, x));
-                                                        auto assign = x->new_ptr<Assign_t>();
-                                                        assign->values.push_back(exp);
-                                                        assignment->action.set(assign);
-                                                        auto stmt = x->new_ptr<Statement_t>();
-                                                        stmt->content.set(assignment);
-                                                        block->statements.push_back(stmt);
+                                                        callVar = singleVariableFrom(exp);
+                                                        if (callVar.empty()) {
+                                                                callVar = getUnusedName(s("_call_"sv));
+                                                                auto assignment = x->new_ptr<ExpListAssign_t>();
+                                                                assignment->expList.set(toAst<ExpList_t>(callVar, ExpList, x));
+                                                                auto assign = x->new_ptr<Assign_t>();
+                                                                assign->values.push_back(exp);
+                                                                assignment->action.set(assign);
+                                                                auto stmt = x->new_ptr<Statement_t>();
+                                                                stmt->content.set(assignment);
+                                                                block->statements.push_back(stmt);
+                                                        }
                                                 }
                                                 {
                                                         auto name = toString(colonItem->name);
@@ -2226,7 +2242,7 @@ private:
                 out.push_back(s(colonChainItem->switchToDot ? "."sv : ":"sv) + name);
         }
 
-        void transformSlice(Slice_t* slice, str_list& out) {
+        void transformSlice(Slice_t* slice, str_list&) {
                 throw std::logic_error(debugInfo("Slice syntax not supported here."sv, slice));
         }
 
@@ -2408,7 +2424,8 @@ private:
                 switch (loopTarget->getId()) {
                         case "star_exp"_id: {
                                 auto star_exp = static_cast<star_exp_t*>(loopTarget);
-                                auto listVar = singleVariableFrom(star_exp->value);
+                                std::string listVar;
+                                if (_config.reuseVariable) listVar = singleVariableFrom(star_exp->value);
                                 auto indexVar = getUnusedName("_index_");
                                 varAfter.push_back(indexVar);
                                 auto value = singleValueFrom(star_exp->value);
@@ -3230,7 +3247,7 @@ private:
                         checkAssignable(with->valueList);
                         auto vars = getAssignVars(with);
                         if (vars.front().empty()) {
-                                if (with->assigns->values.objects().size() == 1) {
+                                if (_config.reuseVariable && with->assigns->values.objects().size() == 1) {
                                         auto var = singleVariableFrom(with->assigns->values.objects().front());
                                         if (!var.empty()) {
                                                 withVar = var;
@@ -3277,7 +3294,7 @@ private:
                                 transformAssignment(assignment, temp);
                         }
                 } else {
-                        withVar = singleVariableFrom(with->valueList);
+                        if (_config.reuseVariable) withVar = singleVariableFrom(with->valueList);
                         if (withVar.empty()) {
                                 withVar = getUnusedName("_with_");
                                 auto assignment = x->new_ptr<ExpListAssign_t>();
@@ -3833,19 +3850,16 @@ private:
 
 const std::string MoonCompliler::Empty;
 
-std::pair<std::string,std::string> moonCompile(const std::string& codes, bool implicitReturnRoot, bool lineNumber) {
-        return MoonCompliler{}.complile(codes, false, implicitReturnRoot, lineNumber);
-}
-
-std::pair<std::string,std::string> moonCompile(const std::string& codes, std::list<GlobalVar>& globals, bool implicitReturnRoot, bool lineNumber) {
+std::tuple<std::string,std::string,GlobalVars> moonCompile(const std::string& codes,  const MoonConfig& config) {
         auto compiler = MoonCompliler{};
-        auto result = compiler.complile(codes, true, implicitReturnRoot, lineNumber);
+        auto result = compiler.complile(codes, config);
+        auto globals = std::make_unique<std::list<GlobalVar>>();
         for (const auto& var : compiler.getGlobals()) {
                 int line,col;
                 std::tie(line,col) = var.second;
-                globals.push_back({var.first, line, col});
+                globals->push_back({var.first, line, col});
         }
-        return result;
+        return std::make_tuple(std::move(result.first),std::move(result.second),std::move(globals));
 }
 
 } // namespace MoonP
diff --git a/src/MoonP/moon_compiler.h b/src/MoonP/moon_compiler.h
new file mode 100644
index 0000000..cb1990c
--- /dev/null
+++ b/src/MoonP/moon_compiler.h
@@ -0,0 +1,39 @@
+/* Copyright (c) 2020 Jin Li, http://www.luvfight.me
+
+Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the "Software"), to deal in the Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE. */
+
+#pragma once
+
+#include <string>
+#include <tuple>
+#include <list>
+#include <memory>
+
+namespace MoonP {
+
+const char* moonScriptVersion();
+
+struct MoonConfig {
+        bool lintGlobalVariable = false;
+        bool implicitReturnRoot = true;
+        bool reserveLineNumber = false;
+        bool spaceOverTab = false;
+        bool reuseVariable = false;
+        bool allowExprNotInTheEndOfBody = false;
+};
+
+struct GlobalVar {
+        std::string name;
+        int line;
+        int col;
+};
+
+using GlobalVars = std::unique_ptr<std::list<GlobalVar>>;
+
+std::tuple<std::string,std::string,GlobalVars> moonCompile(const std::string& codes, const MoonConfig& config = {});
+
+} // namespace MoonP
diff --git a/MoonParser/moon_parser.cpp b/src/MoonP/moon_parser.cpp
index 2b93c22..7b5183e 100644
--- a/MoonParser/moon_parser.cpp
+++ b/src/MoonP/moon_parser.cpp
@@ -1,4 +1,14 @@
-#include "moon_parser.h"
+/* Copyright (c) 2020 Jin Li, http://www.luvfight.me
+
+Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the "Software"), to deal in the Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE. */
+
+#include "MoonP/moon_parser.h"
+
+namespace pl = parserlib;
 
 namespace MoonP {
 
@@ -35,15 +45,18 @@ rule EmptyLine = SpaceBreak;
 rule AlphaNum = range('a', 'z') | range('A', 'Z') | range('0', '9') | '_';
 rule Name = (range('a', 'z') | range('A', 'Z') | '_') >> *AlphaNum;
 rule Num =
+(
+        "0x" >>
+        +(range('0', '9') | range('a', 'f') | range('A', 'F')) >>
+        -(-set("uU") >> set("lL") >> set("lL"))
+) | (
+        +range('0', '9') >> -set("uU") >> set("lL") >> set("lL")
+) | (
         (
-                "0x" >>
-                +(range('0', '9') | range('a', 'f') | range('A', 'F'))
-        ) | (
-                (
-                        (+range('0', '9') >> -('.' >> +range('0', '9'))) |
-                        ('.' >> +range('0', '9'))
-                ) >> -(set("eE") >> -expr('-') >> +range('0', '9'))
-        );
+                (+range('0', '9') >> -('.' >> +range('0', '9'))) |
+                ('.' >> +range('0', '9'))
+        ) >> -(set("eE") >> -expr('-') >> +range('0', '9'))
+);
 rule Cut = false_();
 rule Seperator = true_();
 
@@ -52,7 +65,7 @@ rule Seperator = true_();
 #define ensure(patt, finally) (((patt) >> (finally)) | ((finally) >> (Cut)))
 #define key(str) (Space >> str >> not_(AlphaNum))
 
-rule Variable = user(Name, [](const item_t& item) {
+rule Variable = pl::user(Name, [](const item_t& item) {
         State* st = reinterpret_cast<State*>(item.user_data);
         for (auto it = item.begin; it != item.end; ++it) st->buffer += static_cast<char>(*it);
         auto it = State::keywords.find(st->buffer);
@@ -60,7 +73,7 @@ rule Variable = user(Name, [](const item_t& item) {
         return it == State::keywords.end();
 });
 
-rule LuaKeyword = user(Name, [](const item_t& item) {
+rule LuaKeyword = pl::user(Name, [](const item_t& item) {
         State* st = reinterpret_cast<State*>(item.user_data);
         for (auto it = item.begin; it != item.end; ++it) st->buffer += static_cast<char>(*it);
         auto it = State::luaKeywords.find(st->buffer);
@@ -77,7 +90,7 @@ rule SelfName = Space >> (self_class_name | self_class | self_name | self);
 rule KeyName = SelfName | Space >> Name;
 rule VarArg = Space >> "...";
 
-rule check_indent = user(Indent, [](const item_t& item) {
+rule check_indent = pl::user(Indent, [](const item_t& item) {
         int indent = 0;
         for (input_it i = item.begin; i != item.end; ++i) {
                 switch (*i) {
@@ -90,7 +103,7 @@ rule check_indent = user(Indent, [](const item_t& item) {
 });
 rule CheckIndent = and_(check_indent);
 
-rule advance = user(Indent, [](const item_t& item) {
+rule advance = pl::user(Indent, [](const item_t& item) {
         int indent = 0;
         for (input_it i = item.begin; i != item.end; ++i) {
                 switch (*i) {
@@ -108,7 +121,7 @@ rule advance = user(Indent, [](const item_t& item) {
 });
 rule Advance = and_(advance);
 
-rule push_indent = user(Indent, [](const item_t& item) {
+rule push_indent = pl::user(Indent, [](const item_t& item) {
         int indent = 0;
         for (input_it i = item.begin; i != item.end; ++i) {
                 switch (*i) {
@@ -122,13 +135,13 @@ rule push_indent = user(Indent, [](const item_t& item) {
 });
 rule PushIndent = and_(push_indent);
 
-rule PreventIndent = user(true_(), [](const item_t& item) {
+rule PreventIndent = pl::user(true_(), [](const item_t& item) {
         State* st = reinterpret_cast<State*>(item.user_data);
         st->indents.push(-1);
         return true;
 });
 
-rule PopIndent = user(true_(), [](const item_t& item) {
+rule PopIndent = pl::user(true_(), [](const item_t& item) {
         State* st = reinterpret_cast<State*>(item.user_data);
         st->indents.pop();
         return true;
@@ -166,8 +179,8 @@ rule SwitchElse = key("else") >> Body;
 rule SwitchBlock = *EmptyLine >>
         Advance >> Seperator >>
         SwitchCase >>
-        *(+Break >> SwitchCase) >>
-        -(+Break >> SwitchElse) >>
+        *(+SpaceBreak >> SwitchCase) >>
+        -(+SpaceBreak >> SwitchElse) >>
         PopIndent;
 
 rule Switch = key("switch") >>
@@ -199,20 +212,20 @@ rule ForEach = key("for") >> AssignableNameList >> key("in") >>
         DisableDo >> ensure(for_in, PopDo) >>
         -key("do") >> Body;
 
-rule Do = user(key("do") >> Body, [](const item_t& item)
+rule Do = pl::user(key("do") >> Body, [](const item_t& item)
 {
         State* st = reinterpret_cast<State*>(item.user_data);
         return st->doStack.empty() || st->doStack.top();
 });
 
-rule DisableDo = user(true_(), [](const item_t& item)
+rule DisableDo = pl::user(true_(), [](const item_t& item)
 {
         State* st = reinterpret_cast<State*>(item.user_data);
         st->doStack.push(false);
         return true;
 });
 
-rule PopDo = user(true_(), [](const item_t& item)
+rule PopDo = pl::user(true_(), [](const item_t& item)
 {
         State* st = reinterpret_cast<State*>(item.user_data);
         st->doStack.pop();
@@ -299,7 +312,7 @@ rule String = Space >> (DoubleString | SingleString | LuaString);
 rule lua_string_open = '[' >> *expr('=') >> '[';
 rule lua_string_close = ']' >> *expr('=') >> ']';
 
-rule LuaStringOpen = user(lua_string_open, [](const item_t& item)
+rule LuaStringOpen = pl::user(lua_string_open, [](const item_t& item)
 {
         size_t count = std::distance(item.begin, item.end);
         State* st = reinterpret_cast<State*>(item.user_data);
@@ -307,7 +320,7 @@ rule LuaStringOpen = user(lua_string_open, [](const item_t& item)
         return true;
 });
 
-rule LuaStringClose = user(lua_string_close, [](const item_t& item)
+rule LuaStringClose = pl::user(lua_string_close, [](const item_t& item)
 {
         size_t count = std::distance(item.begin, item.end);
         State* st = reinterpret_cast<State*>(item.user_data);
@@ -316,7 +329,7 @@ rule LuaStringClose = user(lua_string_close, [](const item_t& item)
 
 rule LuaStringContent = *(not_(LuaStringClose) >> (Break | Any));
 
-rule LuaString = user(LuaStringOpen >> -Break >> LuaStringContent >> LuaStringClose, [](const item_t& item)
+rule LuaString = pl::user(LuaStringOpen >> -Break >> LuaStringContent >> LuaStringClose, [](const item_t& item)
 {
         State* st = reinterpret_cast<State*>(item.user_data);
         st->stringOpen = -1;
diff --git a/src/MoonP/moon_parser.h b/src/MoonP/moon_parser.h
new file mode 100644
index 0000000..fc4ee55
--- /dev/null
+++ b/src/MoonP/moon_parser.h
@@ -0,0 +1,35 @@
+/* Copyright (c) 2020 Jin Li, http://www.luvfight.me
+
+Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the "Software"), to deal in the Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE. */
+
+#pragma once
+
+#include <string>
+#include <codecvt>
+#include <unordered_set>
+#include <stack>
+#include <algorithm>
+#include <vector>
+#include "MoonP/ast.hpp"
+using namespace parserlib;
+
+namespace MoonP {
+
+struct State {
+        State() {
+                indents.push(0);
+                stringOpen = -1;
+        }
+        std::string buffer;
+        size_t stringOpen;
+        std::stack<int> indents;
+        std::stack<bool> doStack;
+        static std::unordered_set<std::string> luaKeywords;
+        static std::unordered_set<std::string> keywords;
+};
+
+} // namespace MoonP
diff --git a/MoonParser/parser.cpp b/src/MoonP/parser.cpp
index 03857c6..19c0068 100644
--- a/MoonParser/parser.cpp
+++ b/src/MoonP/parser.cpp
@@ -1,3 +1,13 @@
+/* Copyright (c) 2012, Achilleas Margaritis, modified by Jin Li
+All rights reserved.
+
+        Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met:
+
+        Redistributions of source code must retain the above copyright notice, this list of conditions and the following disclaimer.
+        Redistributions in binary form must reproduce the above copyright notice, this list of conditions and the following disclaimer in the documentation and/or other materials provided with the distribution.
+
+THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. */
+
 #include <cstdlib>
 #include <cstring>
 #include <cassert>
@@ -5,7 +15,7 @@
 #include <unordered_map>
 #include <unordered_set>
 
-#include "parser.hpp"
+#include "MoonP/parser.hpp"
 
 
 namespace parserlib {
@@ -768,12 +778,12 @@ public:
 class _true : public _expr {
 public:
         //parse with whitespace
-        virtual bool parse_non_term(_context &con) const {
+        virtual bool parse_non_term(_context &) const {
                 return true;
         }
 
         //parse terminal
-        virtual bool parse_term(_context &con) const {
+        virtual bool parse_term(_context &) const {
                 return true;
         }
 };
@@ -783,12 +793,12 @@ public:
 class _false: public _expr {
 public:
         //parse with whitespace
-        virtual bool parse_non_term(_context &con) const {
+        virtual bool parse_non_term(_context &) const {
                 return false;
         }
 
         //parse terminal
-        virtual bool parse_term(_context &con) const {
+        virtual bool parse_term(_context &) const {
                 return false;
         }
 };
@@ -1208,10 +1218,9 @@ rule::rule(rule &r) :
 
 
 /** invalid constructor from rule (required by gcc).
-    @param r rule.
     @exception std::logic_error always thrown.
  */
-rule::rule(const rule &r) {
+rule::rule(const rule &) {
     throw std::logic_error("invalid operation");
 }
 
diff --git a/MoonParser/parser.hpp b/src/MoonP/parser.hpp
index cbf0168..9739465 100644
--- a/MoonParser/parser.hpp
+++ b/src/MoonP/parser.hpp
@@ -1,3 +1,13 @@
+/* Copyright (c) 2012, Achilleas Margaritis, modified by Jin Li
+All rights reserved.
+
+        Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met:
+
+        Redistributions of source code must retain the above copyright notice, this list of conditions and the following disclaimer.
+        Redistributions in binary form must reproduce the above copyright notice, this list of conditions and the following disclaimer in the documentation and/or other materials provided with the distribution.
+
+THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. */
+
 #pragma once
 
 
diff --git a/src/moonc.cpp b/src/moonc.cpp
new file mode 100644
index 0000000..d9d3ce3
--- /dev/null
+++ b/src/moonc.cpp
@@ -0,0 +1,178 @@
+/* Copyright (c) 2020 Jin Li, http://www.luvfight.me
+
+Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the "Software"), to deal in the Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE. */
+#include <iostream>
+#include <iomanip>
+#include <fstream>
+#include <chrono>
+#include "MoonP/moon_compiler.h"
+#include "MoonP/parser.hpp"
+#include "MoonP/moon_ast.h"
+
+int main(int narg, const char** args) {
+        const char* help =
+"Usage: moonc [options|files] ...\n\n"
+"    -h          Print this message\n"
+"    -t path     Specify where to place compiled files\n"
+"    -o file     Write output to file\n"
+"    -p          Write output to standard out\n"
+"    -b          Dump compile time (doesn't write output)\n"
+"    -l          Write line numbers from source codes\n"
+"    -a          Allow expression list not in the end of body block\n"
+"    -s          Use space over tab\n"
+"    -v          Print version\n";
+        if (narg == 0) {
+                std::cout << help;
+                return 0;
+        }
+        MoonP::MoonConfig config;
+        bool writeToFile = true;
+        bool dumpCompileTime = false;
+        std::string targetPath;
+        std::string resultFile;
+        std::list<std::string> files;
+        for (int i = 1; i < narg; ++i) {
+                switch (hash(args[i])) {
+                        case "-a"_id:
+                                config.allowExprNotInTheEndOfBody = true;
+                                break;
+                        case "-s"_id:
+                                config.spaceOverTab = true;
+                                break;
+                        case "-l"_id:
+                                config.reserveLineNumber = true;
+                                break;
+                        case "-r"_id:
+                                config.reuseVariable = true;
+                                break;
+                        case "-p"_id:
+                                writeToFile = false;
+                                break;
+                        case "-t"_id:
+                                ++i;
+                                if (i < narg) {
+                                        targetPath = args[i];
+                                } else {
+                                        std::cout << help;
+                                        return 1;
+                                }
+                                break;
+                        case "-b"_id:
+                                dumpCompileTime = true;
+                                break;
+                        case "-h"_id:
+                                std::cout << help;
+                                return 0;
+                        case "-v"_id:
+                                std::cout << "Moonscript version: " << MoonP::moonScriptVersion() << '\n';
+                                break;
+                        case "-o"_id:
+                                ++i;
+                                if (i < narg) {
+                                        resultFile = args[i];
+                                } else {
+                                        std::cout << help;
+                                        return 1;
+                                }
+                                break;
+                        default:
+                                files.push_back(args[i]);
+                                break;
+                }
+        }
+        if (files.empty()) {
+                std::cout << help;
+                return 0;
+        }
+        if (!resultFile.empty() && files.size() > 1) {
+                std::cout << "Error: -o can not be used with multiple input files.\n";
+                std::cout << help;
+        }
+        for (const auto& file : files) {
+                std::ifstream input(file, input.in);
+                if (input) {
+                        std::string s(
+                                (std::istreambuf_iterator<char>(input)),
+                                std::istreambuf_iterator<char>());
+                        if (dumpCompileTime) {
+                                auto start = std::chrono::high_resolution_clock::now();
+                                auto result = MoonP::moonCompile(s, config);
+                                auto end = std::chrono::high_resolution_clock::now();
+                                if (!std::get<0>(result).empty()) {
+                                        std::chrono::duration<double> diff = end - start;
+                                        error_list el;
+                                        MoonP::State st;
+                                        start = std::chrono::high_resolution_clock::now();
+                                        auto input = Converter{}.from_bytes(s);
+                                        parserlib::parse<MoonP::File_t>(input, MoonP::File, el, &st);
+                                        end = std::chrono::high_resolution_clock::now();
+                                        std::chrono::duration<double> parseDiff = end - start;
+                                        std::cout << file << " \n";
+                                        std::cout << "Parse time:     " << std::setprecision(5) << parseDiff.count() * 1000 << " ms\n";
+                                        std::cout << "Compile time:   " << std::setprecision(5) << (diff.count() - parseDiff.count()) * 1000 << " ms\n\n";
+                                } else {
+                                        std::cout << "Fail to compile: " << file << ".\n";
+                                        std::cout << std::get<1>(result) << '\n';
+                                        return 1;
+                                }
+                                continue;
+                        }
+                        auto result = MoonP::moonCompile(s, config);
+                        if (!std::get<0>(result).empty()) {
+                                if (!writeToFile) {
+                                        std::cout << std::get<0>(result) << '\n';
+                                } else {
+                                        std::string targetFile;
+                                        if (resultFile.empty()) {
+                                                std::string ext;
+                                                targetFile = file;
+                                                size_t pos = file.rfind('.');
+                                                if (pos != std::string::npos) {
+                                                        ext = file.substr(pos + 1);
+                                                        for (size_t i = 0; i < ext.length(); i++) {
+                                                                ext[i] = static_cast<char>(tolower(ext[i]));
+                                                        }
+                                                        targetFile = file.substr(0, pos) + ".lua";
+                                                }
+                                                if (!targetPath.empty()) {
+                                                        std::string name;
+                                                        pos = targetFile.find_last_of("/\\");
+                                                        if (pos == std::string::npos) {
+                                                                name = targetFile;
+                                                        } else {
+                                                                name = targetFile.substr(pos + 1);
+                                                        }
+                                                        if (targetPath.back() != '/' && targetPath.back() != '\\') {
+                                                                targetPath.append("/");
+                                                        }
+                                                        targetFile = targetPath + name;
+                                                }
+                                        } else {
+                                                targetFile = resultFile;
+                                        }
+                                        std::ofstream output(targetFile, output.trunc | output.out);
+                                        if (output) {
+                                                const auto& codes = std::get<0>(result);
+                                                output.write(codes.c_str(), codes.size());
+                                                std::cout << "Built " << file << '\n';
+                                        } else {
+                                                std::cout << "Fail to write file: " << targetFile << ".\n";
+                                                return 1;
+                                        }
+                                }
+                        } else {
+                                std::cout << "Fail to compile: " << file << ".\n";
+                                std::cout << std::get<1>(result) << '\n';
+                                return 1;
+                        }
+                } else {
+                        std::cout << "Fail to read file: " << file << ".\n";
+                        return 1;
+                }
+        }
+        return 0;
+}