what

flake.nix

@@ -16,17 +16,17 @@
         };
 
         flakePkgs = rec {
-          ablego = pkgs.callPackage ./. {
+          ableGo = pkgs.callPackage ./. {
             inherit (melt.legacyPackages.${system}) mkSilverBin;
           };
         };
       in rec {
-        defaultPackage = packages.ablego;
+        defaultPackage = packages.ableGo;
 
         packages = flake-utils.lib.flattenTree flakePkgs;
 
         devShell = pkgs.mkShell {
-          inputsFrom = with packages; [ ablego ];
+          inputsFrom = with packages; [ ableGo ];
           packages = with pkgs; [ go ];
         };
       });

grammars/io.mzhang.ableGo/AbstractSyntax/Host/Decl.sv

@@ -0,0 +1,3 @@
+grammar io:mzhang:ableGo:AbstractSyntax:Host;
+
+nonterminal Decl;

grammars/io.mzhang.ableGo/AbstractSyntax/Host/Root.sv

@@ -0,0 +1,8 @@
+grammar io:mzhang:ableGo:AbstractSyntax:Host;
+
+nonterminal Root;
+
+abstract production root
+top::Root ::= d::GlobalDecls
+{
+}

grammars/io.mzhang.ableGo/ConcreteSyntax/ConcreteSyntax.sv

@@ -0,0 +1 @@
+imports io:mzhang:ableGo:AbstractSyntax:Host as ast;

grammars/io.mzhang.ableGo/ConcreteSyntax/Root.sv

@@ -1,5 +1,8 @@
 grammar io:mzhang:ableGo:ConcreteSyntax;
 
-nonterminal Root;
+nonterminal Root with ast<ast:Root>;
 
-concrete productions top::Root {}
+concrete productions top :: Root 
+| tu :: TranslationUnit_c { top.ast = ast:root(ast:foldGlobalDecl(tu.ast)); }
+
+closed nonterminal TranslationUnit_c with ast<[ast:Decl]>;