Fixed style issues for PR and fixed edge case of no args for commitme…

…nt protocol

.gitignore

@@ -9,6 +9,7 @@
 cmake-build-*/
 
 # IntelliJ
+.idea/
 out/
 
 # mpeltonen/sbt-idea plugin

compiler/src/main/kotlin/io/github/aplcornell/viaduct/backends/commitment/CommitmentCircuitCodeGenerator.kt

@@ -35,10 +35,16 @@ class CommitmentCircuitCodeGenerator(context: CodeGeneratorContext) : AbstractCo
     }
 
     override fun import(protocol: Protocol, arguments: List<Argument>): Pair<CodeBlock, List<CodeBlock>> {
+        if (arguments.isEmpty()) {
+            return Pair(CodeBlock.of(""), emptyList())
+        }
         throw UnsupportedCommunicationException(arguments.first().protocol, protocol, arguments.first().sourceLocation)
     }
 
     override fun export(protocol: Protocol, arguments: List<Argument>): Pair<CodeBlock, List<CodeBlock>> {
+        if (arguments.isEmpty()) {
+            return Pair(CodeBlock.of(""), emptyList())
+        }
         throw UnsupportedCommunicationException(arguments.first().protocol, protocol, arguments.first().sourceLocation)
     }
 }

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

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

compiler/tests/should-pass/circuit/commitment/CommitmentNoArgs.circuit

@@ -0,0 +1,10 @@
+host alice
+host bob
+host chuck
+
+circuit fun <> move@Commitment(sender = alice, receivers = {bob, chuck})() -> {return}
+
+fun <> main() -> {
+    val = move<>()
+    return
+}