diff options
| author | Akshay Nair <phenax5@gmail.com> | 2023-01-09 20:13:33 +0530 |
|---|---|---|
| committer | Akshay Nair <phenax5@gmail.com> | 2023-01-09 20:13:33 +0530 |
| commit | 5aad91f273f39ba1a11143585835e757a57de234 (patch) | |
| tree | 28379cc54ccb1bdd3de2a4c639d24ea5dac82dd5 /examples/test-runner.ts | |
| parent | 2af211f1bd6a5c81ee7acd2ded2bfacf4dcfb2a4 (diff) | |
| download | ts-types-lang-5aad91f273f39ba1a11143585835e757a57de234.tar.gz ts-types-lang-5aad91f273f39ba1a11143585835e757a57de234.zip | |
refactor: moves stuff around
Diffstat (limited to 'examples/test-runner.ts')
| -rw-r--r-- | examples/test-runner.ts | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/examples/test-runner.ts b/examples/test-runner.ts index c0eb4c4..b06b010 100644 --- a/examples/test-runner.ts +++ b/examples/test-runner.ts @@ -1,4 +1,6 @@ -import { DefineEffect, Do, Effect, Print, PutString, PutStringLn } from '../stdlib' +import { Do, Effect } from '../stdlib/effect' +import { Print, PutString, PutStringLn } from '../stdlib/stdio' +import { DefineEffect } from '../stdlib/sys' type Testi<m extends string, effs extends Effect[]> = [ PutStringLn<m>, @@ -8,7 +10,9 @@ type Testi<m extends string, effs extends Effect[]> = [ type Equals<Left, Right> = [Left] extends [Right] ? ([Right] extends [Left] ? true : false) : false -interface Assert<_B extends true> extends Effect { } + +type CompileTimeErrors = false +interface Assert<_B extends (CompileTimeErrors extends true ? true : boolean)> extends Effect { } type testCases = [ ...Testi<"should do some stuff", [ |