Ticket #556 (new task)

Opened 16 months ago

split module OMDoc/OMDocOutput.hs

Reported by: till Owned by: elena
Priority: critical Milestone: 0.95
Component: interfaces Version: 0.87
Keywords: Cc:

Description

  • The module source:trunk/OMDoc/OMDocOutput.hs should be split into
    • the translation of CASL abstract syntax to OMDOC abstract syntax, e.g. libEnvLibNameIdNameMappingToOMDoc
    • the overall composition of the translations, i.e. libToOMDoc
  • libEnvLibNameIdNameMappingToOMDoc is a very large function and should be split into several functions.
Note: See TracTickets for help on using tickets.