Merge pull request #98 from JorikSchellekens/rational_literal_types

 Implement parser for rational literal types

src/types/ast/index.ts

@@ -13,6 +13,7 @@ export * from "./mapping_type";
 export * from "./module_type";
 export * from "./packed_array_type";
 export * from "./pointer";
+export * from "./rational_literal";
 export * from "./string";
 export * from "./string_literal";
 export * from "./tuple_type";

src/types/ast/rational_literal.ts

@@ -0,0 +1,29 @@
+import { Range } from "../../misc";
+import { TypeNode } from "./type";
+
+interface Rational {
+  numerator: bigint;
+  denominator: bigint;
+}
+
+export class RationalLiteralType extends TypeNode {
+    public readonly literal: Rational;
+
+    constructor(literal: Rational, src?: Range) {
+        super(src);
+
+        this.literal = literal;
+    }
+
+    pp(): string {
+        return `rational_const ${ppRational(this.literal)}`;
+    }
+
+    getFields(): any[] {
+        return [this.literal];
+    }
+}
+
+function ppRational(literal: Rational): string {
+  return `${literal.numerator.toString()} / ${literal.denominator.toString()}`;
+}

src/types/typeStrings/typeString_grammar.pegjs

@@ -241,7 +241,7 @@ IntLiteralType =
 
 RationalLiteralType =
     RATIONAL_CONST __ numerator: MaybeNegNumber __ "/" __ denominator: Number {
-        throw new Error(`NYI rational literal type: ${text()}`);
+        return new RationalLiteralType({numerator: numerator, denominator: denominator})
     }
 
 BoolType =

src/types/typeStrings/typeString_parser_header.ts

@@ -27,6 +27,7 @@ import {
     MappingType,
     ModuleType,
     PointerType,
+    RationalLiteralType,
     StringLiteralType,
     StringType,
     TupleType,

test/samples/solidity/types/types.sol

@@ -46,5 +46,7 @@ contract TestStorage {
         uint[4] memory t;
 
         t;
+
+        1.1;
     }
 }