@@ -165,8 +165,8 @@ verifyVisibleSynInputToEvent = forAll $ \(InputBlocksUsingTable gen) -> monadic
165165
166166verifyCapsSynInputToEvent :: Property IO
167167verifyCapsSynInputToEvent = forAll $ \(InputBlocksUsingTable gen) ->
168− forEachOf terminalsOfInterest $ \termName -> monadic $ do
169− term <- setupTerm termName
168+ forEachOf terminalsOfInterest $ \terminalName -> monadic $ do
169+ term <- setupTerm terminalName
170170 let table = capsClassifyMap term keysFromCapsTable
171171 inputSeq = gen table
172172 events = map snd inputSeq
@@ -185,9 +185,9 @@ verifySpecialSynInputToEvent = forAll $ \(InputBlocksUsingTable gen) -> monadic
185185
186186verifyFullSynInputToEvent :: Property IO
187187verifyFullSynInputToEvent = forAll $ \(InputBlocksUsingTable gen) ->
188− forEachOf terminalsOfInterest $ \termName -> monadic $ do
189− term <- setupTerm termName
190− let table = classifyMapForTerm termName term
188+ forEachOf terminalsOfInterest $ \terminalName -> monadic $ do
189+ term <- setupTerm terminalName
190+ let table = classifyMapForTerm terminalName term
191191 inputSeq = gen table
192192 events = map snd inputSeq
193193 keydowns = map (Bytes . fst) inputSeq
@@ -196,9 +196,9 @@ verifyFullSynInputToEvent = forAll $ \(InputBlocksUsingTable gen) ->
196196
197197verifyFullSynInputToEvent_2x :: Property IO
198198verifyFullSynInputToEvent_2x = forAll $ \(InputBlocksUsingTable gen) ->
199− forEachOf terminalsOfInterest $ \termName -> monadic $ do
200− term <- setupTerm termName
201− let table = classifyMapForTerm termName term
199+ forEachOf terminalsOfInterest $ \terminalName -> monadic $ do
200+ term <- setupTerm terminalName
201+ let table = classifyMapForTerm terminalName term
202202 inputSeq = gen table
203203 events = concatMap ((\s -> [s,s]) . snd) inputSeq
204204 keydowns = map (Bytes . (\s -> s ++ s) . fst) inputSeq