Skip to content

Commit

Permalink
wrong output delimiter
Browse files Browse the repository at this point in the history
  • Loading branch information
owestphal committed Jun 17, 2024
1 parent 5738cda commit 5732e8d
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/Test/IOTasks/Trace.hs
Original file line number Diff line number Diff line change
Expand Up @@ -251,7 +251,7 @@ showConcreteTraceHead simple op f (ProgWriteC Optional ts (I t'))
| simple = f t' -- omit optional outputs in simplified version
| otherwise = ("(!{"<> hcat (punctuate "," (text . showPattern <$> Set.toList ts)) <> "})") `op` f t'
showConcreteTraceHead simple op f (ProgWriteC Mandatory ts (I t'))
| simple = ("!\""<> (head $ text . showPatternSimple <$> Set.toList ts)) <> "\"" `op` f t'
| simple = ("!\""<> (head $ text . showPatternSimple <$> Set.toList ts) <> "\"") `op` f t'

Check warning on line 254 in src/Test/IOTasks/Trace.hs

View workflow job for this annotation

GitHub Actions / build

In the use of ‘head’

Check warning on line 254 in src/Test/IOTasks/Trace.hs

View workflow job for this annotation

GitHub Actions / build

In the use of ‘head’
| otherwise = ("!{"<> hcat (punctuate "," (text . showPattern <$> Set.toList ts)) <> "}" ) `op` f t'
showConcreteTraceHead _ _ _ TerminateC = "stop"
showConcreteTraceHead _ _ _ OutOfInputsC = "?<unknown input>"
Expand Down

0 comments on commit 5732e8d

Please sign in to comment.