aboutsummaryrefslogtreecommitdiff
path: root/examples/file.ts
diff options
context:
space:
mode:
Diffstat (limited to 'examples/file.ts')
-rw-r--r--examples/file.ts6
1 files changed, 2 insertions, 4 deletions
diff --git a/examples/file.ts b/examples/file.ts
index 279a51b..287f108 100644
--- a/examples/file.ts
+++ b/examples/file.ts
@@ -1,9 +1,7 @@
-import { Bind, Kind1, ReadFile, WriteFile, PutStringLn } from '../stdlib'
+import { Bind, Kind1, ReadFile, PutStringLn } from '../stdlib'
interface PrintK extends Kind1<string> {
return: PutStringLn<this['input']>
}
-export type main = [
- Bind<ReadFile<"./default.nix">, PrintK>,
-]
+export type main = Bind<ReadFile<'./default.nix'>, PrintK>