Merge branch 'master' of git.martlubbers.net:clean-tests
authorMart Lubbers <mart@martlubbers.net>
Fri, 5 Jun 2020 08:38:38 +0000 (10:38 +0200)
committerMart Lubbers <mart@martlubbers.net>
Fri, 5 Jun 2020 08:38:38 +0000 (10:38 +0200)
1  2 
test.icl

diff --cc 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