From: Mart Lubbers <mart@martlubbers.net>
Date: Fri, 5 Jun 2020 08:38:38 +0000 (+0200)
Subject: Merge branch 'master' of git.martlubbers.net:clean-tests
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=824af5a3aa9bcac5c3dc0e12bd24da6229bafd38;p=clean-tests.git

Merge branch 'master' of git.martlubbers.net:clean-tests
---

824af5a3aa9bcac5c3dc0e12bd24da6229bafd38
diff --cc test.icl
index 13d4dd1,6df4935..21d4a89
--- a/test.icl
+++ b/test.icl
@@@ -1,9 -1,5 +1,3 @@@
  module test
+ class C m :: u:m -> v:m
  
- import iTasks
- 
- Start w = doTasks hello w
- 
- hello :: Task String
- hello = enterInformation [] <<@ Title "What is your name?"
- 	>>? \n->viewInformation [] ("Hello " +++ n) <<@ Title "Hello"
 -//Start :: *World -> *(State () *World)
 -Start = 42