Refactor cmd flag parsing

src/config.ts

@@ -1,8 +1,4 @@
 export interface Config {
-    /**
-     * Perform type checking, so that values can be assigned to the corresponding definitions
-     */
-    typeCheck: boolean
     /**
      * Perform semantic checking on every source file. If `false`, only definitions required by the main file will be
      * checked
@@ -11,25 +7,18 @@ export interface Config {
 }
 
 export const defaultConfig = (): Config => ({
-    typeCheck: true,
     libCheck: false
 })
 
 export const fromCmdFlags = (args: string[]): Config => {
     const config = defaultConfig()
-    const typeCheckCmd = args
-        .find(a => a.startsWith('--typeCheck='))
-        ?.split('=')
-        .at(-1)
-    if (typeCheckCmd) {
-        config.typeCheck = typeCheckCmd === 'true'
-    }
-    const libCheckCmd = args
-        .find(a => a.startsWith('--libCheck='))
+    config.libCheck = parseCmdFlag('libCheck', args) === 'true'
+    return config
+}
+
+export const parseCmdFlag = (name: string, args: string[]): string | undefined => {
+    return args
+        .find(a => a.startsWith(`${name}=`))
         ?.split('=')
         .at(-1)
-    if (libCheckCmd) {
-        config.libCheck = libCheckCmd === 'true'
-    }
-    return config
 }

src/typecheck/index.ts

@@ -124,8 +124,6 @@ export const genericToVirtual = (generic: Generic, ctx: Context): VirtualGeneric
 }
 
 export const isAssignable = (t: VirtualType, target: VirtualType, ctx: Context): boolean => {
-    if (!ctx.config.typeCheck) return true
-
     if (t.kind === 'unknown-type' || target.kind === 'unknown-type') return true
     if (t.kind === 'hole-type' || target.kind === 'hole-type') return true
     if (t.kind === 'vid-type' && vidToString(t.identifier) === 'std::never::Never') return true