From 5aad91f273f39ba1a11143585835e757a57de234 Mon Sep 17 00:00:00 2001
From: Akshay Nair <phenax5@gmail.com>
Date: Mon, 9 Jan 2023 20:13:33 +0530
Subject: refactor: moves stuff around

---
 examples/test-runner.ts | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

(limited to 'examples/test-runner.ts')

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", [
-- 
cgit v1.3.1