« Previous | Next » 

Revision 9d3867b1

ID9d3867b11a86c87422a17cf8249fdb0770d0746f

Added by Iustin Pop about 11 years ago

Add constants for two values which we re-evaluate

Two constants which we use as Integer are defined as Int in
Constants.hs (coming from constants.py), so we do the conversion every
time we use it. Let's move them to top-level names, so that the
conversion is only done once.

Signed-off-by: Iustin Pop <>
Reviewed-by: Guido Trotter <>

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences