Revision 0.9.6

Author: sinclairzx81

example/typebox/compiled/module.ts

@@ -30,6 +30,7 @@ THE SOFTWARE.
 // deno-lint-ignore-file no-unused-vars
 
 import { Runtime } from '../../runtime/index.ts'
+import { Unreachable } from './unreachable.ts'
 import { Escape } from './escape.ts'
 
 function FromContext(parser: Runtime.IContext): string {
@@ -78,7 +79,7 @@ function FromParser(parser: Runtime.IParser): string {
     Runtime.IsRef(parser) ? FromRef(parser) : 
     Runtime.IsIdent(parser) ? FromIdent(parser) : 
     Runtime.IsNumber(parser) ? FromNumber(parser) : 
-    '<unreachable>'
+    Unreachable(parser)
   )
 }
 export function CompileComment(name: string, parser: Runtime.IParser): string {

src/compile/common/comment.ts

@@ -26,6 +26,7 @@ THE SOFTWARE.
 
 ---------------------------------------------------------------------------*/
 
-export * from "./comment.ts"
-export * from "./escape.ts"
-export * from "./infer.ts"
+export * from './comment.ts'
+export * from './escape.ts'
+export * from './infer.ts'
+export * from './unreachable.ts'

src/compile/common/index.ts

@@ -30,6 +30,7 @@ THE SOFTWARE.
 // deno-lint-ignore-file no-unused-vars
 
 import { Runtime } from '../../runtime/index.ts'
+import { Unreachable } from './unreachable.ts'
 
 function InferUnion(parsers: Runtime.IParser[]): string {
   return [...new Set(parsers.map((parser) => Infer(parser)))].join(' | ')
@@ -65,6 +66,6 @@ export function Infer(parser: Runtime.IParser): string {
     Runtime.IsString(parser) ? `string` :
     Runtime.IsIdent(parser) ? `string` :
     Runtime.IsNumber(parser) ? `string` :
-    '<unreachable>'
+    Unreachable(parser)
   )
 }

src/compile/common/infer.ts

@@ -0,0 +1,41 @@
+/*--------------------------------------------------------------------------
+
+@sinclair/parsebox
+
+The MIT License (MIT)
+
+Copyright (c) 2024-2025 Haydn Paterson (sinclair) <haydn.developer@gmail.com>
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in
+all copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
+THE SOFTWARE.
+
+---------------------------------------------------------------------------*/
+
+// deno-fmt-ignore-file
+
+import { Runtime } from '../../runtime/index.ts'
+
+export class UnreachableError extends Error {
+  constructor(public parser: Runtime.IParser) {
+    super('unreachable')
+  }
+}
+
+export function Unreachable(parser: Runtime.IParser): never {
+  throw new UnreachableError(parser)
+}

src/compile/common/unreachable.ts

@@ -30,7 +30,7 @@ THE SOFTWARE.
 // deno-lint-ignore-file no-unused-vars
 
 import { Runtime } from '../../runtime/index.ts'
-import { Infer, Escape } from '../common/index.ts'
+import { Infer, Escape, Unreachable } from '../common/index.ts'
 import { Options } from '../options.ts'
 
 // ------------------------------------------------------------------
@@ -130,7 +130,7 @@ function FromParser(options: Options, name: string, parser: Runtime.IParser): st
     Runtime.IsRef(parser) ? FromRef(options, name, parser.ref) :
     Runtime.IsIdent(parser) ? FromIdent(options, name) :
     Runtime.IsNumber(parser) ? FromNumber(options, name) :
-    '<unreachable>'
+    Unreachable(parser)
   )
 }
 // ------------------------------------------------------------------

src/compile/func/func.ts

@@ -30,7 +30,7 @@ THE SOFTWARE.
 // deno-lint-ignore-file no-unused-vars
 
 import { Runtime } from '../../runtime/index.ts'
-import { Infer, Escape } from '../common/index.ts'
+import { Infer, Escape, Unreachable } from '../common/index.ts'
 import { Options } from '../options.ts'
 import { Name } from './name.ts'
 
@@ -132,7 +132,7 @@ function FromParser(options: Options, name: string, parser: Runtime.IParser): st
     Runtime.IsRef(parser) ? FromRef(options, name, parser.ref) :
     Runtime.IsIdent(parser) ? FromIdent(options, name) :
     Runtime.IsNumber(parser) ? FromNumber(options, name) :
-    '<unreachable>'
+    Unreachable(parser)
   )
 }
 // ------------------------------------------------------------------

src/compile/type/type.ts

@@ -34,7 +34,7 @@ Task.run('build', () => Task.build('src', {
   packageJson: {
     name: '@sinclair/parsebox',
     description: 'Parser Combinators in the TypeScript Type System',
-    version: '0.9.5',
+    version: '0.9.6',
     keywords: ['typescript', 'parser', 'combinator'],
     license: 'MIT',
     author: 'sinclairzx81',