« Previous | Next » 

Revision 756df409

ID756df409ed013007a59891e8d186ed15efa934a2
Parent 33b9d92d
Child d7731f51

Added by Iustin Pop almost 12 years ago

htools: move tiered spec map helper to Hspace.hs

This is used just in hspace, so let's help in making Cluster.hs
smaller. We also split the function in two, as computing the spec map
and formatting it are two different tasks.

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

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences