AbicoderVersion is not really a PolymorphicNode since variant can be a string

Author: Janther

src/slang-nodes/AbicoderPragma.ts

@@ -1,5 +1,4 @@
 import { NonterminalKind } from '@nomicfoundation/slang/cst';
-import { extractVariant } from '../slang-utils/extract-variant.js';
 import { SlangNode } from './SlangNode.js';
 import { AbicoderVersion } from './AbicoderVersion.js';
 
@@ -10,12 +9,12 @@ import type { PrintFunction } from '../types.d.ts';
 export class AbicoderPragma extends SlangNode {
   readonly kind = NonterminalKind.AbicoderPragma;
 
-  version: AbicoderVersion['variant'];
+  version: AbicoderVersion;
 
   constructor(ast: ast.AbicoderPragma) {
     super(ast);
 
-    this.version = extractVariant(new AbicoderVersion(ast.version));
+    this.version = new AbicoderVersion(ast.version);
   }
 
   print(path: AstPath<AbicoderPragma>, print: PrintFunction): Doc {

src/slang-nodes/AbicoderVersion.ts

@@ -1,17 +1,21 @@
 import { NonterminalKind } from '@nomicfoundation/slang/cst';
 import { SlangNode } from './SlangNode.js';
-import { TerminalNode } from './TerminalNode.js';
 
 import type * as ast from '@nomicfoundation/slang/ast';
+import type { Doc } from 'prettier';
 
 export class AbicoderVersion extends SlangNode {
   readonly kind = NonterminalKind.AbicoderPragma;
 
-  variant: TerminalNode;
+  variant: string;
 
   constructor(ast: ast.AbicoderVersion) {
     super(ast);
 
-    this.variant = new TerminalNode(ast.variant);
+    this.variant = ast.variant.unparse();
+  }
+
+  print(): Doc {
+    return this.variant;
   }
 }

src/slangPrinter.ts

@@ -4,7 +4,6 @@ import { locEnd, locStart } from './slang-utils/loc.js';
 import type { AstPath, Doc, ParserOptions } from 'prettier';
 import type { AstNode, StrictAstNode } from './slang-nodes/types.d.ts';
 import type { PrintFunction } from './types.d.ts';
-import type { AbicoderVersion } from './slang-nodes/AbicoderVersion.js';
 import type { ArgumentsDeclaration } from './slang-nodes/ArgumentsDeclaration.js';
 import type { ConstructorAttribute } from './slang-nodes/ConstructorAttribute.js';
 import type { FallbackFunctionAttribute } from './slang-nodes/FallbackFunctionAttribute.js';
@@ -70,7 +69,6 @@ function genericPrint(
   path: AstPath<
     Exclude<
       StrictAstNode,
-      | AbicoderVersion
       | ArgumentsDeclaration
       | ConstructorAttribute
       | FallbackFunctionAttribute