git.iko.soy/vty
on master help sign in
cleanup: Make ScopedTypeVariables explicit in files that use it.
05a73cciphydf
src/Data/Terminfo/Parse.hs+2−1
compare with master
unifiedsplit
@@ -1,8 +1,9 @@
1{-# LANGUAGE BangPatterns #-}
1{-# LANGUAGE BangPatterns #-}
2{-# LANGUAGE CPP #-}
2{-# LANGUAGE CPP #-}
3−{-# OPTIONS_HADDOCK hide #-}
4{-# LANGUAGE NoMonomorphismRestriction #-}
3{-# LANGUAGE NoMonomorphismRestriction #-}
4+{-# LANGUAGE ScopedTypeVariables #-}
5{-# OPTIONS_GHC -funbox-strict-fields -O #-}
5{-# OPTIONS_GHC -funbox-strict-fields -O #-}
6+{-# OPTIONS_HADDOCK hide #-}
6
7
7module Data.Terminfo.Parse
8module Data.Terminfo.Parse
8 ( module Data.Terminfo.Parse
9 ( module Data.Terminfo.Parse
src/Graphics/Vty.hs+1
@@ -1,4 +1,5 @@
1{-# LANGUAGE CPP #-}
1{-# LANGUAGE CPP #-}
2+{-# LANGUAGE ScopedTypeVariables #-}
2
3
3-- | Vty provides interfaces for both terminal input and terminal
4-- | Vty provides interfaces for both terminal input and terminal
4-- output.
5-- output.
src/Graphics/Vty/Input/Loop.hs+4−3
@@ -1,8 +1,9 @@
1−{-# LANGUAGE RecordWildCards #-}
1+{-# LANGUAGE CPP #-}
2−{-# OPTIONS_HADDOCK hide #-}
3{-# LANGUAGE NoMonomorphismRestriction #-}
2{-# LANGUAGE NoMonomorphismRestriction #-}
3+{-# LANGUAGE RecordWildCards #-}
4+{-# LANGUAGE ScopedTypeVariables #-}
4{-# LANGUAGE TemplateHaskell #-}
5{-# LANGUAGE TemplateHaskell #-}
5−{-# LANGUAGE CPP #-}
6+{-# OPTIONS_HADDOCK hide #-}
6-- | The input layer used to be a single function that correctly
7-- | The input layer used to be a single function that correctly
7-- accounted for the non-threaded runtime by emulating the terminal
8-- accounted for the non-threaded runtime by emulating the terminal
8-- VMIN adn VTIME handling. This has been removed and replace with a
9-- VMIN adn VTIME handling. This has been removed and replace with a
src/Graphics/Vty/Output/Interface.hs+1
@@ -3,6 +3,7 @@
3{-# LANGUAGE ExistentialQuantification #-}
3{-# LANGUAGE ExistentialQuantification #-}
4{-# LANGUAGE GADTs #-}
4{-# LANGUAGE GADTs #-}
5{-# LANGUAGE FlexibleContexts #-}
5{-# LANGUAGE FlexibleContexts #-}
6+{-# LANGUAGE ScopedTypeVariables #-}
6-- | This module provides an abstract interface for performing terminal
7-- | This module provides an abstract interface for performing terminal
7-- output. The only user-facing part of this API is 'Output'.
8-- output. The only user-facing part of this API is 'Output'.
8module Graphics.Vty.Output.Interface
9module Graphics.Vty.Output.Interface
test/VerifyEmptyImageProps.hs+1
@@ -1,3 +1,4 @@
1+{-# LANGUAGE ScopedTypeVariables #-}
1module VerifyEmptyImageProps where
2module VerifyEmptyImageProps where
2
3
3import Verify
4import Verify
test/VerifyEvalTerminfoCaps.hs+1
@@ -1,5 +1,6 @@
1{-# LANGUAGE BangPatterns #-}
1{-# LANGUAGE BangPatterns #-}
2{-# LANGUAGE NamedFieldPuns #-}
2{-# LANGUAGE NamedFieldPuns #-}
3+{-# LANGUAGE ScopedTypeVariables #-}
3module VerifyEvalTerminfoCaps where
4module VerifyEvalTerminfoCaps where
4
5
5import Blaze.ByteString.Builder.Internal.Write (runWrite, getBound)
6import Blaze.ByteString.Builder.Internal.Write (runWrite, getBound)
test/VerifyImageOps.hs+1
@@ -1,3 +1,4 @@
1+{-# LANGUAGE ScopedTypeVariables #-}
1module VerifyImageOps where
2module VerifyImageOps where
2
3
3import Graphics.Vty.Attributes
4import Graphics.Vty.Attributes
test/VerifyOutput.hs+1
@@ -1,6 +1,7 @@
1-- We setup the environment to envoke certain terminals of interest.
1-- We setup the environment to envoke certain terminals of interest.
2-- This assumes appropriate definitions exist in the current environment
2-- This assumes appropriate definitions exist in the current environment
3-- for the terminals of interest.
3-- for the terminals of interest.
4+{-# LANGUAGE ScopedTypeVariables #-}
4module VerifyOutput where
5module VerifyOutput where
5
6
6import Verify
7import Verify
test/VerifyParseTerminfoCaps.hs+1
@@ -1,4 +1,5 @@
1{-# LANGUAGE NamedFieldPuns #-}
1{-# LANGUAGE NamedFieldPuns #-}
2+{-# LANGUAGE ScopedTypeVariables #-}
2module VerifyParseTerminfoCaps where
3module VerifyParseTerminfoCaps where
3
4
4import Prelude hiding ( catch )
5import Prelude hiding ( catch )
test/VerifyUsingMockInput.hs+1
@@ -1,5 +1,6 @@
1{-# LANGUAGE MultiParamTypeClasses #-}
1{-# LANGUAGE MultiParamTypeClasses #-}
2{-# LANGUAGE FlexibleInstances #-}
2{-# LANGUAGE FlexibleInstances #-}
3+{-# LANGUAGE ScopedTypeVariables #-}
3-- Generate some input bytes and delays between blocks of input bytes.
4-- Generate some input bytes and delays between blocks of input bytes.
4-- Verify the events produced are as expected.
5-- Verify the events produced are as expected.
5module Main where
6module Main where
vty.cabal+2−20
@@ -117,8 +117,6 @@ library
117
117
118 hs-source-dirs: src
118 hs-source-dirs: src
119
119
120− default-extensions: ScopedTypeVariables
121−
122 ghc-options: -O2 -funbox-strict-fields -Wall -fspec-constr -fspec-constr-count=10
120 ghc-options: -O2 -funbox-strict-fields -Wall -fspec-constr -fspec-constr-count=10
123
121
124 ghc-prof-options: -O2 -funbox-strict-fields -caf-all -Wall -fspec-constr -fspec-constr-count=10
122 ghc-prof-options: -O2 -funbox-strict-fields -caf-all -Wall -fspec-constr -fspec-constr-count=10
@@ -143,7 +141,6 @@ executable vty-mode-demo
143 hs-source-dirs: demos
141 hs-source-dirs: demos
144
142
145 default-language: Haskell2010
143 default-language: Haskell2010
146− default-extensions: ScopedTypeVariables
147 ghc-options: -threaded
144 ghc-options: -threaded
148
145
149 build-depends: vty,
146 build-depends: vty,
@@ -158,7 +155,6 @@ executable vty-demo
158 hs-source-dirs: demos
155 hs-source-dirs: demos
159
156
160 default-language: Haskell2010
157 default-language: Haskell2010
161− default-extensions: ScopedTypeVariables
162 ghc-options: -threaded
158 ghc-options: -threaded
163
159
164 build-depends: vty,
160 build-depends: vty,
@@ -170,7 +166,6 @@ executable vty-demo
170
166
171test-suite verify-using-mock-terminal
167test-suite verify-using-mock-terminal
172 default-language: Haskell2010
168 default-language: Haskell2010
173− default-extensions: ScopedTypeVariables
174
169
175 type: detailed-0.9
170 type: detailed-0.9
176
171
@@ -203,7 +198,6 @@ test-suite verify-using-mock-terminal
203
198
204test-suite verify-terminal
199test-suite verify-terminal
205 default-language: Haskell2010
200 default-language: Haskell2010
206− default-extensions: ScopedTypeVariables
207
201
208 type: detailed-0.9
202 type: detailed-0.9
209
203
@@ -236,7 +230,6 @@ test-suite verify-terminal
236
230
237test-suite verify-display-attributes
231test-suite verify-display-attributes
238 default-language: Haskell2010
232 default-language: Haskell2010
239− default-extensions: ScopedTypeVariables
240
233
241 type: detailed-0.9
234 type: detailed-0.9
242
235
@@ -268,7 +261,6 @@ test-suite verify-display-attributes
268
261
269test-suite verify-empty-image-props
262test-suite verify-empty-image-props
270 default-language: Haskell2010
263 default-language: Haskell2010
271− default-extensions: ScopedTypeVariables
272
264
273 type: detailed-0.9
265 type: detailed-0.9
274
266
@@ -294,7 +286,6 @@ test-suite verify-empty-image-props
294
286
295test-suite verify-eval-terminfo-caps
287test-suite verify-eval-terminfo-caps
296 default-language: Haskell2010
288 default-language: Haskell2010
297− default-extensions: ScopedTypeVariables
298
289
299 type: detailed-0.9
290 type: detailed-0.9
300
291
@@ -323,7 +314,6 @@ test-suite verify-eval-terminfo-caps
323
314
324test-suite verify-image-ops
315test-suite verify-image-ops
325 default-language: Haskell2010
316 default-language: Haskell2010
326− default-extensions: ScopedTypeVariables
327
317
328 type: detailed-0.9
318 type: detailed-0.9
329
319
@@ -351,7 +341,6 @@ test-suite verify-image-ops
351
341
352test-suite verify-image-trans
342test-suite verify-image-trans
353 default-language: Haskell2010
343 default-language: Haskell2010
354− default-extensions: ScopedTypeVariables
355
344
356 type: detailed-0.9
345 type: detailed-0.9
357
346
@@ -379,7 +368,6 @@ test-suite verify-image-trans
379
368
380test-suite verify-inline
369test-suite verify-inline
381 default-language: Haskell2010
370 default-language: Haskell2010
382− default-extensions: ScopedTypeVariables
383
371
384 type: detailed-0.9
372 type: detailed-0.9
385
373
@@ -406,7 +394,6 @@ test-suite verify-inline
406
394
407test-suite verify-parse-terminfo-caps
395test-suite verify-parse-terminfo-caps
408 default-language: Haskell2010
396 default-language: Haskell2010
409− default-extensions: ScopedTypeVariables
410
397
411 type: detailed-0.9
398 type: detailed-0.9
412
399
@@ -435,7 +422,6 @@ test-suite verify-parse-terminfo-caps
435
422
436test-suite verify-simple-span-generation
423test-suite verify-simple-span-generation
437 default-language: Haskell2010
424 default-language: Haskell2010
438− default-extensions: ScopedTypeVariables
439
425
440 type: detailed-0.9
426 type: detailed-0.9
441
427
@@ -467,7 +453,6 @@ test-suite verify-simple-span-generation
467
453
468test-suite verify-crop-span-generation
454test-suite verify-crop-span-generation
469 default-language: Haskell2010
455 default-language: Haskell2010
470− default-extensions: ScopedTypeVariables
471
456
472 type: detailed-0.9
457 type: detailed-0.9
473
458
@@ -499,7 +484,6 @@ test-suite verify-crop-span-generation
499
484
500test-suite verify-layers-span-generation
485test-suite verify-layers-span-generation
501 default-language: Haskell2010
486 default-language: Haskell2010
502− default-extensions: ScopedTypeVariables
503
487
504 type: detailed-0.9
488 type: detailed-0.9
505
489
@@ -530,7 +514,6 @@ test-suite verify-layers-span-generation
530
514
531test-suite verify-color-mapping
515test-suite verify-color-mapping
532 default-language: Haskell2010
516 default-language: Haskell2010
533− default-extensions: ScopedTypeVariables
534
517
535 type: detailed-0.9
518 type: detailed-0.9
536
519
@@ -556,7 +539,6 @@ test-suite verify-color-mapping
556
539
557test-suite verify-utf8-width
540test-suite verify-utf8-width
558 default-language: Haskell2010
541 default-language: Haskell2010
559− default-extensions: ScopedTypeVariables
560
542
561 type: detailed-0.9
543 type: detailed-0.9
562
544
@@ -582,7 +564,6 @@ test-suite verify-utf8-width
582
564
583test-suite verify-using-mock-input
565test-suite verify-using-mock-input
584 default-language: Haskell2010
566 default-language: Haskell2010
585− default-extensions: ScopedTypeVariables
586
567
587 type: exitcode-stdio-1.0
568 type: exitcode-stdio-1.0
588
569
@@ -590,6 +571,8 @@ test-suite verify-using-mock-input
590
571
591 main-is: VerifyUsingMockInput.hs
572 main-is: VerifyUsingMockInput.hs
592
573
574+ other-modules: Verify.Graphics.Vty.Output
575+
593 build-depends: vty,
576 build-depends: vty,
594 Cabal >= 1.20,
577 Cabal >= 1.20,
595 QuickCheck >= 2.7,
578 QuickCheck >= 2.7,
@@ -616,7 +599,6 @@ test-suite verify-using-mock-input
616
599
617test-suite verify-config
600test-suite verify-config
618 default-language: Haskell2010
601 default-language: Haskell2010
619− default-extensions: ScopedTypeVariables
620
602
621 type: exitcode-stdio-1.0
603 type: exitcode-stdio-1.0
622
604