Skip to content

Code comments mention wrong Module for definition of EquationInfo

In compiler/deSugar/Match.hs the description mentions

There is a type synonym, @EquationInfo@, defined in module @DsUtils@.

However EquationInfo is defined as data type in compiler/deSugar/DsMonad.hs:96

Trac metadata
Trac field Value
Version 8.1
Type Bug
TypeOfFailure OtherFailure
Priority lowest
Resolution Unresolved
Component Documentation
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system
Architecture
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information