Test: get to "hello world"

Author: kavon

test/Inputs/Swiftskell.swift

@@ -67,7 +67,7 @@ extension Maybe: Copyable {}
 extension Maybe: Show where Value: Show & ~Copyable {
   public borrowing func show() -> String {
     switch self {
-      case let .just(borrowing elm):
+      case let .just(elm):
         return elm.show()
       case .nothing:
         return "<nothing>"
@@ -78,9 +78,9 @@ extension Maybe: Show where Value: Show & ~Copyable {
 extension Maybe: Eq where Value: Eq, Value: ~Copyable {
   public static func ==(_ a: borrowing Self, _ b: borrowing Self) -> Bool {
     switch a {
-      case let .just(borrowing a1):
+      case let .just(a1):
         switch b {
-          case let .just(borrowing b1):
+          case let .just(b1):
             return a1 == b1
           case .nothing:
             return false

test/Interpreter/moveonly_swiftskell.swift

@@ -1,14 +1,16 @@
 // RUN: %empty-directory(%t)
 
 // RUN: %target-build-swift \
+// RUN:    -emit-module      \
 // RUN:    -emit-module-path %t \
 // RUN:    -enable-library-evolution \
 // RUN:    -module-name Swiftskell \
 // RUN:    -parse-as-library \
-// RUN:    %S/../Inputs/Swiftskell.swift -c -o %t/Swiftskell.o \
+// RUN:    %S/../Inputs/Swiftskell.swift \
+// RUN:   -enable-experimental-feature SuppressedAssociatedTypes \
 // RUN:   -enable-experimental-feature NonescapableTypes
 
-// RUN: %target-build-swift -o %t/a.out %s -I %t %t/Swiftskell.o
+// RUN: %target-build-swift %s -I %t -o %t/a.out
 // RUN: %target-codesign %t/a.out
 // RUN: %target-run %t/a.out | %FileCheck %s