You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
A non exhaustive pattern causes the program to crash with unary_add.json and 111+11= as input.
The function causing the bug is findTransition (line 116).
(See code below ) :
findTransition::String-> [Cond] ->Cond
findTransition w ts =case ts of
(t:nts) ->if (read t) == w then t else (findTransition w nts)
Appart from the non exhaustive pattern problem, another part of the issue seems to come from the input itself, as the JSON does not implement the = sign and no transition leads to the HALT state.
The text was updated successfully, but these errors were encountered:
A non exhaustive pattern causes the program to crash with
unary_add.json
and111+11=
as input.The function causing the bug is findTransition (line 116).
(See code below ) :
Appart from the non exhaustive pattern problem, another part of the issue seems to come from the input itself, as the JSON does not implement the
=
sign and no transition leads to theHALT
state.The text was updated successfully, but these errors were encountered: