Skip to content

EPA: duplicate comments for ConPat

The code

makeProjection =
  case defn of
    Function{funMutual = VV, -- comment
             funAbstr = ConcreteDef} -> undefined

captures the comment twice in the ParsedSource.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information