diff --git a/ui2abc/libarkts/test/arkts-api/recheck/imports/unchecked/library.ts b/ui2abc/libarkts/test/arkts-api/recheck/imports/unchecked/library.ts new file mode 100644 index 0000000000000000000000000000000000000000..5add49855c7647c9d7e8198d839c971296c4202a --- /dev/null +++ b/ui2abc/libarkts/test/arkts-api/recheck/imports/unchecked/library.ts @@ -0,0 +1,20 @@ +export function onlyParsedFunction() { + const five: string = 5 + const arrow = (number: number): void => { + return 4 + } + console.log(arrow(five)) +} + +export function returnInputString(arg: string) { + return arg +} +const somethingIsChecked: string = returnInputString("hello") +const somethingIsNotChecked: string = returnInputString("hello" + 1) + +export function anotherOnlyParsedFunction() { + const x = 1 + /* const x = 2 */ // TypeError: Variable 'x' has already been declared. [library.ts:17:11] + const howItWorks: number = returnInputString("arkts") +} + diff --git a/ui2abc/libarkts/test/arkts-api/recheck/imports/unchecked/main.ts b/ui2abc/libarkts/test/arkts-api/recheck/imports/unchecked/main.ts new file mode 100644 index 0000000000000000000000000000000000000000..f2657abcc66869d3db336608aec10b6e21795350 --- /dev/null +++ b/ui2abc/libarkts/test/arkts-api/recheck/imports/unchecked/main.ts @@ -0,0 +1,3 @@ +import { onlyParsedFunction } from "./library" + +onlyParsedFunction() diff --git a/ui2abc/libarkts/test/arkts-api/recheck/recheck.test.ts b/ui2abc/libarkts/test/arkts-api/recheck/recheck.test.ts index 0435ab56346dee787a4e0448e85737ac8485a0fc..721b1ae52313aa87389b0d1b51e6837d5eeaac14 100644 --- a/ui2abc/libarkts/test/arkts-api/recheck/recheck.test.ts +++ b/ui2abc/libarkts/test/arkts-api/recheck/recheck.test.ts @@ -206,6 +206,10 @@ suite(util.basename(__filename), () => { test('recursive', () => { runTest('imports/recursive', insertParameter, false, true) }) + + test('unchecked external file', () => { + runTest('imports/unchecked', undefined, true, true) + }) }) suite('overloads', () => {