1 files changed, 20 insertions, 0 deletions
diff --git a/ecomp-c/tests/procedure_call_value_parameters_wrong_types.e b/ecomp-c/tests/procedure_call_value_parameters_wrong_types.e
new file mode 100644
index 0000000..cd86ab8
--- /dev/null
+++ b/ecomp-c/tests/procedure_call_value_parameters_wrong_types.e
@@ -0,0 +1,20 @@
+/*
+ * procedure call with value parameters with a type mismatch
+ */
+
+module procedure_call_value_parameters_wrong_types;
+
+var
+	i : integer := 1;
+
+procedure proc( x : integer );
+var
+	l : integer;
+begin
+	l := x;
+	i := l;
+end
+
+begin
+	proc( true );
+end