Improves examples

effekt-lang · Oct 18, 2023 · 8976dd7 · 8976dd7
1 parent 7f8b7cf
commit 8976dd7
Show file tree

Hide file tree

Showing 9 changed files with 11 additions and 50 deletions.
diff --git a/examples/pts/defWithTypeParam.effekt b/examples/pts/defWithTypeParam.effekt
diff --git a/examples/pts/example.effekt b/examples/pts/example.effekt
diff --git a/examples/pts/functionReturnType.effekt b/examples/pts/functionReturnType.effekt
diff --git a/examples/pts/externResource.effekt → examples/pts/neg/externResource.effekt b/examples/pts/externResource.effekt → examples/pts/neg/externResource.effekt
diff --git a/examples/pts/overloaded.effekt b/examples/pts/overloaded.effekt
diff --git a/examples/pts/pos/boxInference.effekt b/examples/pts/pos/boxInference.effekt
@@ -6,20 +6,21 @@ def f(x: Int): Int = x + 1
 def g(x: Int): Int = x * 2
 
 def func1(boxedParam: _): Int = {
-     (unbox boxedParam)(1)
+    def f = unbox boxedParam
+    f(1)
 }
 
-def func2(boxedParams: List[_]): Int = {
-    var sum = 0
-    foreach(boxedParams) {
-        func => sum = sum + (unbox func)(1)
-    }
-
-    sum
-}
+//def func2(boxedParams: List[_]): Int = {
+//    var sum = 0
+//    foreach(boxedParams) {
+//        func => sum = sum + (unbox func)(1)
+//    }
+//
+//    sum
+//}
 
 def main() = {
     val a = func1(box f)
-    val b = func2(Cons(box f, Cons(box g, Nil())))
+    // val b = func2(Cons(box f, Cons(box g, Nil())))
     1
 }
diff --git a/examples/pts/defWithEff.effekt → examples/pts/pos/defWithEff.effekt b/examples/pts/defWithEff.effekt → examples/pts/pos/defWithEff.effekt
diff --git a/examples/pts/functionDoubleUse.effekt → examples/pts/pos/functionDoubleUse.effekt b/examples/pts/functionDoubleUse.effekt → examples/pts/pos/functionDoubleUse.effekt
diff --git a/examples/pts/recursion.effekt b/examples/pts/recursion.effekt