From e73bbe8b5ed82352df846a2b90da00d652a6ac25 Mon Sep 17 00:00:00 2001 From: Henning Dieterichs Date: Sun, 6 Oct 2019 11:34:52 +0200 Subject: [PATCH] Adds error messages --- data-extraction/src/js/DataExtractorApi.ts | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/data-extraction/src/js/DataExtractorApi.ts b/data-extraction/src/js/DataExtractorApi.ts index 8a3ed4b..83a623d 100644 --- a/data-extraction/src/js/DataExtractorApi.ts +++ b/data-extraction/src/js/DataExtractorApi.ts @@ -14,7 +14,8 @@ export type DataResult = kind: "Data"; extractionResult: DataExtractionResult; } - | { kind: "NoExtractors" }; + | { kind: "NoExtractors" } + | { kind: "Error"; message: string }; export interface JSONString extends String { __brand: { json: T };