Closed cpockrandt closed 10 years ago
Consider the following rail program:
$ 'main' (--): \ \-[abc]-[4]-c-#
The output is abc (which makes sense). But the precondition for c 'Cut' (a b -- c d) is b <= size(a). Since we always print error messages when the precondition is not fulfilled, we should throw an error when b > size(a) as well.
abc
c 'Cut' (a b -- c d)
b <= size(a)
b > size(a)
Edit: the interpreter also crashes.
https://github.com/SWP-Ubau-SoSe2014-Haskell/SWPSoSe14/issues/158
MaximilianC
commented
10 years ago
Consider the following rail program:
The output is
abc(which makes sense). But the precondition forc 'Cut' (a b -- c d)isb <= size(a). Since we always print error messages when the precondition is not fulfilled, we should throw an error whenb > size(a)as well.Edit: the interpreter also crashes.