testsuite/compiler/renamer/funpatt.gf:11:
  Happened in the renaming of d
   data constructor expected but funpatt.D1 is found instead