could somebody explain this testcase to me? Why should that be evaluated to Nothing? Shouldn't it be NumV(6)?
Code: Alles auswählen
interp (AppE (NumE 6) (NumE 5)) []
== Nothing
Code: Alles auswählen
interp (AppE (NumE 6) (NumE 5)) []
== Nothing
I didn't check the actual definition of the language but in our old language you couldn't apply a value like (NumE 6), so it seems logical to evlauate to Nothing in this case.plo1234 hat geschrieben:Hey,
could somebody explain this testcase to me? Why should that be evaluated to Nothing? Shouldn't it be NumV(6)?thanks!Code: Alles auswählen
interp (AppE (NumE 6) (NumE 5)) [] == Nothing