From 7f29828081691f6272061928d3ec35fb1f3398c5 Mon Sep 17 00:00:00 2001 From: "Tristan B. Kildaire" Date: Wed, 27 Oct 2021 21:30:22 +0200 Subject: [PATCH] Added negative test case --- .../typecheck/simple_dependence_correct7.t | 2 +- .../typecheck/simple_dependence_incorrect7.t | 24 +++++++++++++++++++ 2 files changed, 25 insertions(+), 1 deletion(-) create mode 100644 source/tlang/testing/typecheck/simple_dependence_incorrect7.t diff --git a/source/tlang/testing/typecheck/simple_dependence_correct7.t b/source/tlang/testing/typecheck/simple_dependence_correct7.t index 6da040d..b82d713 100644 --- a/source/tlang/testing/typecheck/simple_dependence_correct7.t +++ b/source/tlang/testing/typecheck/simple_dependence_correct7.t @@ -2,7 +2,6 @@ module typeChecking3; - int p = 21; p=2+p; int j = 2; @@ -17,6 +16,7 @@ p = 4; p = 4; p = 4; p = 4; +j=232321213; class F { diff --git a/source/tlang/testing/typecheck/simple_dependence_incorrect7.t b/source/tlang/testing/typecheck/simple_dependence_incorrect7.t new file mode 100644 index 0000000..d76fdde --- /dev/null +++ b/source/tlang/testing/typecheck/simple_dependence_incorrect7.t @@ -0,0 +1,24 @@ +module typeChecking3; + + +p=2; +int p = 21; +p=2+p; +int j = 2; +discard "SO far the bottom is done as (p+j)/1"; +int k = p+j/1; + +discard "getCOntainers, muyst reorder"; +discard "And include stdalone assignments"; +p = 4; + +p = 4; +p = 4; +p = 4; +p = 4; +j=232321213; + +class F +{ + +}