clang-format

Author: leissa

thorin/fe/ast.cpp

@@ -2,8 +2,9 @@
 
 #include "thorin/check.h"
 #include "thorin/def.h"
-#include "thorin/world.h"
 #include "thorin/rewrite.h"
+#include "thorin/world.h"
+
 #include "thorin/fe/scopes.h"
 
 namespace thorin::fe {

thorin/fe/ast.h

@@ -18,7 +18,7 @@ class AST {
 public:
     AST(Loc loc)
         : loc_(loc) {}
-    virtual ~AST() {};
+    virtual ~AST(){};
 
     Loc loc() const { return loc_; }
 
@@ -79,7 +79,7 @@ class Bndr : public AST {
 
     Sym sym() const { return sym_; }
     bool is_anonymous() const { return sym_.is_anonymous(); }
-    virtual const Def* type(World&) const = 0;
+    virtual const Def* type(World&) const          = 0;
     virtual void inject(Scopes&, const Def*) const = 0;
 
 private:

thorin/fe/parser.cpp

@@ -399,7 +399,7 @@ const Def* Parser::parse_pi() {
 
     if (!dom->is_anonymous()) scopes_.bind(dom->sym(), var);
     dom->inject(scopes_, var);
-    //for (auto [sym, i] : binders) scopes_.bind(sym, pi->var(i)); // TODO location
+    // for (auto [sym, i] : binders) scopes_.bind(sym, pi->var(i)); // TODO location
 
     expect(Tok::Tag::T_arrow, "dependent function type");
     auto codom = parse_expr("codomain of a dependent function type", Tok::Prec::Arrow);
@@ -687,7 +687,7 @@ void Parser::parse_nom() {
     scopes_.bind(sym, nom);
 
     scopes_.push();
-    //for (auto [sym, i] : binders) scopes_.bind(sym, nom->var(i));
+    // for (auto [sym, i] : binders) scopes_.bind(sym, nom->var(i));
     if (external) nom->make_external();
 
     scopes_.push();