Added commitment2 test and modified cleartext code generator to throw…

… appropriate exceptions for commitments

compiler/src/main/kotlin/io/github/aplcornell/viaduct/backends/cleartext/CleartextCircuitCodeGenerator.kt

@@ -132,11 +132,15 @@ class CleartextCircuitCodeGenerator(context: CodeGeneratorContext) : AbstractCod
         builder: CodeBlock.Builder,
     ): CodeBlock {
         require(context.host in source.hosts + target.hosts)
-        require(source is Local && source.hosts.size == 1 && source.host in source.hosts)
+        if (source !is Local) {
+            throw UnsupportedCommunicationException(source, target, argument.sourceLocation)
+        }
+        require(source.hosts.size == 1 && source.host in source.hosts)
         require(target is CommitmentProtocol)
         if (target.cleartextHost != source.host || target.cleartextHost in target.hashHosts) {
             throw UnsupportedCommunicationException(source, target, argument.sourceLocation)
         }
+
         val argType = kotlinType(argument.type.shape, typeTranslator(argument.type.elementType.value))
         val sendingHost = target.cleartextHost
         val receivingHosts = target.hashHosts
@@ -183,11 +187,14 @@ class CleartextCircuitCodeGenerator(context: CodeGeneratorContext) : AbstractCod
         builder: CodeBlock.Builder,
     ): CodeBlock {
         require(source is CommitmentProtocol)
-        require(target is Replication)
+        if (target !is Cleartext) {
+            throw UnsupportedCommunicationException(source, target, argument.sourceLocation)
+        }
         require(context.host in source.hosts + target.hosts)
         if (source.hashHosts != target.hosts || source.cleartextHost in source.hashHosts) {
             throw UnsupportedCommunicationException(source, target, argument.sourceLocation)
         }
+
         val argType = kotlinType(argument.type.shape, typeTranslator(argument.type.elementType.value))
         val sendingHost = source.cleartextHost
         val receivingHosts = target.hosts

compiler/tests/should-pass/circuit/cleartext/Commitment2.circuit

@@ -0,0 +1,18 @@
+host alice
+host bob
+
+circuit fun <> move@Local(host = alice)(a: int[]) -> b: int[] {
+    return a
+}
+
+circuit fun <> move2@Local(host = bob)(a: int[]) -> b: int[] {
+    return a
+}
+
+fun <> main() -> {
+    val a@Local(host = alice) = alice.input<int[]>()
+    val c@Commitment(sender = alice, receivers = {bob}) = move<>(a)
+    val d@Local(host = bob) = move2<>(c)
+    val = bob.output<int[]>(d)
+    return
+}

examples/inputs/circuit/cleartext/Commitment2-alice.txt

@@ -0,0 +1 @@
+5

examples/outputs/circuit/cleartext/Commitment2-bob.txt

@@ -0,0 +1 @@
+5