ghc/compiler/NOTES

   1 * CHECK that the things seek_liftable found are done in Core
   2
   3 * CHECK that there aren't too many indirections in STG
   4         local = ...
   5         global = local Int
   6
   7 Interface files
   8 ~~~~~~~~~~~~~~~
   9 * Don't need to pin a kind on the type variable in a interface class decl,
  10   because it'll be correctly re-inferred when we read it in.
  11
  12 * The double semicolon at the end of an interface-file signature is so that
  13   the lexer can run through the pragmas very fast when -O isn't being used.
  14
  15 * In export lists, T|(A,B) says that constructors A and B are exported,
  16   but not the type T.  Similarly for classes.
  17   We can't say T(T,A,B) and T(A,B) to export or not-export T respectively,
  18   because the type T might have a constructor T.
  19
  20 ===========================================================================
  21
  22                 Nofib failures
  23                 ~~~~~~~~~~~~~~
  24
  25 * spectral/hartel/wave4main, wang, spectral/simple, real/symalg
  26
  27 Bus error
  28
  29 * real/anna
  30
  31 expected stdout not matched by reality
  32 *** big.sum.out Thu Aug 22 14:37:05 1996
  33 --- /tmp/runtest21900.1 Mon Jan 20 17:57:49 1997
  34 ***************
  35 *** 1 ****
  36 ! 12796    49
  37 --- 1 ----
  38 ! 63325 97
  39
  40
  41 * /real/compress2
  42
  43 expected stderr not matched by reality
  44 Warning: missing newline at end of file /tmp/runtest14691.2
  45 *** /tmp/no_stderr14691 Thu Jan 23 14:33:29 1997
  46 --- /tmp/runtest14691.2 Thu Jan 23 14:33:29 1997
  47 ***************
  48 *** 0 ****
  49 --- 1,2 ----
  50 +
  51 + Fail: Prelude.Enum.Char.toEnum:out of range
  52
  53
  54 * real/ebnf2ps
  55
  56 IOSupplement.hs: 43: value not in scope: getEnv
  57
  58         ...and...
  59
  60 HappyParser.hs: 127: Couldn't match the type
  61                          [HappyParser.Token'] against PrelBase.Int
  62     Expected: HappyParser.HappyReduction
  63     Inferred: PrelBase.Int -> HappyParser.Token' -> HappyParser.HappyState HappyParser.Token' ([HappyParser.HappyAbsSyn] -> [AbstractSyntax.Production]) -> PrelBase.Int -> PrelBase.Int -> o{-a1yN-} -> o{-a1yO-} -> [HappyParser.Token'] -> a{-a1yP-}
  64     In an equation for function HappyParser.action_1:
  65         HappyParser.action_1 _ = HappyParser.happyFail
  66
  67
  68 * GHC_ONLY/bugs/andy_cherry
  69
  70 DataTypes.lhs: 3: Could not find valid interface file for `GenUtils'
  71
  72 Need "make depend"
  73
  74 * GHC_ONLY/bugs/lex
  75
  76 Pattern match fail in lex; must be producing empty or multi-valued result
  77
  78 Aggravated by dreadful error messages:
  79 +
  80 + Fail: In irrefutable pattern
  81 + Fail: In pattern-matching
  82 + Fail: In pattern-matching
  83 + Fail: In pattern-matching
  84 + Fail: In pattern-matching
  85 + Fail: In pattern-matching
  86 + Fail: In pattern-matching
  87 + Fail: In pattern-matching
  88 + Fail: In pattern-matching
  89 + Fail: In pattern-matching
  90 + Fail: In pattern-matching
  91 + Fail: In pattern-matching
  92 + Fail: In pattern-matching
  93 + Fail: In pattern-matching
  94 + Fail: In pattern-matching
  95 + Fail: In pattern-matchingtoo many nested calls to `error'
  96
  97
  98 * GHC_ONLY/bugs/jtod_circint
  99
 100 Main.hs: 12: No instance for: Signal.Signal (Signal.Stream Bit.Bit)
 101     Main.hs: 12: at a use of an overloaded identifier: `Signal.one'
 102
 103 instance-decl slurping is WRONG
 104
 105 * GHC_ONLY/arith005
 106
 107 ceiling doesn't work properly
 108
 109 --- 1,3 ----
 110 + [1, 1, 2, 3, 4, 5, 0, -2, -3, -4, 1000013, 124, 101, 103, 1, 0, 17001, 0, 1, 4]
 111 + [1, 1, 2, 3, 4, 5, 0, -2, -3, -4, 1000013, 124, 101, 103, 1, 0, 17001, 0, 1, 4]
 112   [0, 0, 2, 3, 4, 5, -1, -2, -3, -4, 1000012, 124, 101, 103, 1, 0, 17000, 0, 1, 4]
 113 ***************
 114 *** 2,5 ****
 115   [0, 0, 2, 3, 4, 5, -1, -2, -3, -4, 1000012, 124, 101, 103, 1, 0, 17000, 0, 1, 4]
 116 - [0, 0, 2, 3, 4, 5, -1, -2, -3, -4, 1000012, 124, 101, 103, 1, 0, 17000, 0, 1, 4]
 117 - [0, 0, 2, 3, 4, 5, -1, -2, -3, -4, 1000012, 124, 101, 103, 1, 0, 17000, 0, 1, 4]
 118   [0, 0, 1, 2, 3, 4, -1, -3, -4, -5, 1000012, 123, 100, 102, 0, -1, 17000, -1, 0, 3]
 119 --- 4,5 ----
 120
 121
 122 * GHC_ONLY/bugs/lennart_array
 123
 124 Wrong array semantics (but who cares?)
 125
 126 * GHC_ONLY/bugs/life_space_leak
 127
 128 -n *** sum I got:
 129 0 0
 130 -n *** sum I expected:
 131 02845  1350