diff --git a/src/main/kotlin/cacophony/semantic/names/NameResolver.kt b/src/main/kotlin/cacophony/semantic/names/NameResolver.kt index f02eb7df..96912e64 100644 --- a/src/main/kotlin/cacophony/semantic/names/NameResolver.kt +++ b/src/main/kotlin/cacophony/semantic/names/NameResolver.kt @@ -80,7 +80,6 @@ private class NameResolver(val diagnostics: Diagnostics) { val decidedShape = decideSingleShape(declaration.type, declaration.value) val arity = (decidedShape as? Shape.Functional)?.arity symbolsTable.define(declaration.identifier, declaration, arity) - println("decided shape for $declaration is $decidedShape") defsToShapes[declaration] = decidedShape return setOf(Shape.Atomic) } diff --git a/src/main/kotlin/cacophony/semantic/types/TypeChecker.kt b/src/main/kotlin/cacophony/semantic/types/TypeChecker.kt index a52ea2ad..f552ccf3 100644 --- a/src/main/kotlin/cacophony/semantic/types/TypeChecker.kt +++ b/src/main/kotlin/cacophony/semantic/types/TypeChecker.kt @@ -88,7 +88,6 @@ private class Typer( is Definition.VariableDeclaration -> { val expect = if (expression.type == null) { - println(shapes[expression]) shapes[expression].toExpectation() } else expression.type.toExpectation() val deducedType = typeExpression(expression.value, expect) ?: return null @@ -184,9 +183,8 @@ private class Typer( } if (functionType.args.size != expression.arguments.size) { - val p = TreePrinter().printTree(expression) throw IllegalStateException( - "Arity of function resolved in previous step does not match (in $p)", + "Arity of function resolved in previous step does not match", ) } val argsTypes = expression.arguments.zip(functionType.args).map {