Feature(compiler): NativeTypeResolver - return null on too dynamic types

ovr · ovr · commit d438bc28cb7e · 2018-12-15T14:56:31.000+09:00
diff --git a/src/backend/llvm/native-type-resolver.ts b/src/backend/llvm/native-type-resolver.ts
@@ -5,15 +5,7 @@ import {Context} from "./context";
 import {NativeType} from "./native-type";
 
 export class NativeTypeResolver {
-    static getType(type: ts.Type, ctx: Context): NativeType {
-        if (type.isClass()) {
-            return new NativeType(
-                llvm.Type.getInt8PtrTy(
-                    ctx.llvmContext
-                )
-            );
-        }
-
+    static getType(type: ts.Type, ctx: Context): NativeType|null {
         if (type.isNumberLiteral() || (<any>type).intrinsicName === 'number') {
             return new NativeType(
                 llvm.Type.getDoubleTy(
@@ -135,8 +127,6 @@ export class NativeTypeResolver {
             }
         }
 
-        throw new Error(
-            `Unsupported type, it's to dynamic`
-        );
+        return null;
     }
 }

Original file line number	Diff line number	Diff line change
`@@ -5,15 +5,7 @@ import {Context} from "./context";`
`5`	`5`	`import {NativeType} from "./native-type";`
`6`	`6`
`7`	`7`	`export class NativeTypeResolver {`
`8`		`- static getType(type: ts.Type, ctx: Context): NativeType {`
`9`		`- if (type.isClass()) {`
`10`		`- return new NativeType(`
`11`		`- llvm.Type.getInt8PtrTy(`
`12`		`- ctx.llvmContext`
`13`		`- )`
`14`		`- );`
`15`		`- }`
`16`		`-`
	`8`	`+ static getType(type: ts.Type, ctx: Context): NativeType\|null {`
`17`	`9`	`if (type.isNumberLiteral() \|\| (<any>type).intrinsicName === 'number') {`
`18`	`10`	`return new NativeType(`
`19`	`11`	`llvm.Type.getDoubleTy(`
`@@ -135,8 +127,6 @@ export class NativeTypeResolver {`
`135`	`127`	`}`
`136`	`128`	`}`
`137`	`129`
`138`		`- throw new Error(`
`139`		- `Unsupported type, it's to dynamic`
`140`		`- );`
	`130`	`+ return null;`
`141`	`131`	`}`
`142`	`132`	`}`