Ticket #43: haddock-gadt-tests.diff

File haddock-gadt-tests.diff, 3.4 kB (added by nwf, 7 months ago)

  • tests/haddock/should_compile_flag_haddock/all.T 

    # On branch ghc-7.6
# Changes to be committed:
#   (use "git reset HEAD <file>..." to unstage)
#
#	modified:   tests/haddock/should_compile_flag_haddock/all.T
#	new file:   tests/haddock/should_compile_flag_haddock/haddockA034.hs
#	new file:   tests/haddock/should_compile_flag_haddock/haddockA034.stderr
#
# Untracked files:
#   (use "git add <file>..." to include in what will be committed)
#
#	mk/ghcconfig_home_nwf_src_haskell_ghc_ghc_inplace_bin_ghc-stage2.mk
#	tests/haddock/should_compile_flag_haddock/.haddockA034.stderr.swp
diff --git a/tests/haddock/should_compile_flag_haddock/all.T b/tests/haddock/should_compile_flag_haddock/all.T
index ed77310..1c57bbe 100644
    a b  
    3131test('haddockA031', normal, compile, ['-haddock -ddump-parsed -XExistentialQuantification']) 
    3232test('haddockA032', normal, compile, ['-haddock -ddump-parsed']) 
    3333test('haddockA033', normal, compile, ['-haddock -ddump-parsed']) 
     34test('haddockA034', normal, compile, ['-haddock -ddump-parsed -XGADTs']) 

  • (a) /dev/null vs. (b) b/tests/haddock/should_compile_flag_haddock/haddockA034.hs 

    diff --git a/tests/haddock/should_compile_flag_haddock/haddockA034.hs b/tests/haddock/should_compile_flag_haddock/haddockA034.hs
new file mode 100644
index 0000000..b600957
    a b  
     1module ShouldCompile where 
     2 
     3data GADT10 a where 
     4        G1 :: GADT10 a 
     5 
     6data GADT20 a where 
     7        G20A :: GADT20 a 
     8        G20B :: GADT20 a 
     9 
     10data GADT201 a where 
     11        G201A :: GADT201 a 
     12        -- | test 
     13        G201B :: GADT201 a 
     14 
     15data GADT202 a where 
     16        G202A :: GADT202 a 
     17        G202B :: GADT202 a 
     18        -- ^ test 
     19 
     20data GADT210 a where 
     21        -- | test 
     22        G210A :: GADT210 a 
     23        G210B :: GADT210 a 
     24 
     25data GADT211 a where 
     26        -- | test 
     27        G211A :: GADT211 a 
     28 
     29        -- | test2 
     30        G211B :: GADT211 a 
     31 
     32data GADT220 a where 
     33        G220A :: GADT220 a 
     34        -- ^ test 
     35        G220B :: GADT220 a 
     36 
     37data GADT221 a where 
     38        G221A :: GADT221 a 
     39        -- ^ test 
     40 
     41        -- | test 
     42        G221B :: GADT221 a 
     43 
     44data Everything a where 
     45        -- | GInt 
     46        GInt :: Int -> Everything Int 
     47 
     48        -- | GChar 
     49        GChar :: Char -> Everything Char 
     50        -- ^ GChar2 
     51 
     52        GString :: String -> Everything String 
     53        -- ^ GString 

  • (a) /dev/null vs. (b) b/tests/haddock/should_compile_flag_haddock/haddockA034.stderr 

    diff --git a/tests/haddock/should_compile_flag_haddock/haddockA034.stderr b/tests/haddock/should_compile_flag_haddock/haddockA034.stderr
new file mode 100644
index 0000000..0db815d
    a b  
     1 
     2==================== Parser ==================== 
     3module ShouldCompile where 
     4data GADT10 a where G1 :: GADT10 a 
     5data GADT20 a 
     6  where 
     7    G20A :: GADT20 a 
     8    G20B :: GADT20 a 
     9data GADT201 a 
     10  where 
     11    G201A :: GADT201 a 
     12    <document comment> G201B :: GADT201 a 
     13data GADT202 a 
     14  where 
     15    G202A :: GADT202 a 
     16    <document comment> G202B :: GADT202 a 
     17data GADT210 a 
     18  where 
     19    <document comment> G210A :: GADT210 a 
     20    G210B :: GADT210 a 
     21data GADT211 a 
     22  where 
     23    <document comment> G211A :: GADT211 a 
     24    <document comment> G211B :: GADT211 a 
     25data GADT220 a 
     26  where 
     27    <document comment> G220A :: GADT220 a 
     28    G220B :: GADT220 a 
     29data GADT221 a 
     30  where 
     31    <document comment> G221A :: GADT221 a 
     32    <document comment> G221B :: GADT221 a 
     33data Everything a 
     34  where 
     35    <document comment> GInt :: Int -> Everything Int 
     36    <document comment> GChar :: Char -> Everything Char 
     37    <document comment> GString :: String -> Everything String 
     38 
     39