refactor: compute storage schema outside of type-checking (#1336)

src/pipeline/precompile.ts

@@ -32,15 +32,15 @@ export function precompile(
     // This creates TLB-style type definitions
     ctx = resolveSignatures(ctx, ast);
 
-    // This creates allocations for all defined types
-    ctx = resolveAllocations(ctx);
-
     // This checks and resolves all statements
     ctx = resolveStatements(ctx, ast);
 
     // This extracts error messages
     ctx = resolveErrors(ctx, ast);
 
+    // This creates allocations for all defined types
+    ctx = resolveAllocations(ctx);
+
     // Prepared context
     return ctx;
 }