Use getLiteralStringDef instead of rebuilding it with fromJust
This commit is contained in:
parent
a786f996a1
commit
10afe83ce3
|
@ -4509,7 +4509,7 @@ prop_checkCommandWithTrailingSymbol9 = verifyNot checkCommandWithTrailingSymbol
|
||||||
checkCommandWithTrailingSymbol _ t =
|
checkCommandWithTrailingSymbol _ t =
|
||||||
case t of
|
case t of
|
||||||
T_SimpleCommand _ _ (cmd:_) ->
|
T_SimpleCommand _ _ (cmd:_) ->
|
||||||
let str = fromJust $ getLiteralStringExt (\_ -> Just "x") cmd
|
let str = getLiteralStringDef "x" cmd
|
||||||
last = lastOrDefault 'x' str
|
last = lastOrDefault 'x' str
|
||||||
in
|
in
|
||||||
case str of
|
case str of
|
||||||
|
|
Loading…
Reference in New Issue