ghc/compiler/NOTES

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