About

Metadata

  • Last updated , by JeroenBransen
  • License BSD-3-Clause
  • Categories Development
  • Maintained by: Atze Dijkstra (atzedijkstra@gmail.com)

  • Lottery factor: 1

Links

Installation

Tested Compilers

  1. 9.12.2
  2. 9.12.1
  3. 9.10.3
  4. 9.10.2
  5. 9.10.1
  6. 9.8.4
  7. 9.8.3
  8. 9.8.2
  9. 9.8.1
  10. 9.6.7
  11. 9.6.6
  12. 9.6.5
  13. 9.6.4
  14. 9.6.3
  15. 9.6.2
  16. 9.6.1
  17. 9.4.8
  18. 9.4.7
  19. 9.4.6
  20. 9.4.5
  21. 9.4.4
  22. 9.4.3
  23. 9.4.2
  24. 9.4.1
  25. 9.2.8
  26. 9.2.7
  27. 9.2.6
  28. 9.2.5
  29. 9.2.4
  30. 9.2.3
  31. 9.2.2
  32. 9.2.1
  33. 9.0.2
  34. 9.0.1
  35. 8.10.7
  36. 8.10.6
  37. 8.10.5
  38. 8.10.4
  39. 8.10.3
  40. 8.10.2
  41. 8.10.1
  42. 8.8.4
  43. 8.8.3
  44. 8.8.2
  45. 8.8.1
  46. 8.6.5
  47. 8.6.4
  48. 8.6.3
  49. 8.6.2
  50. 8.6.1
  51. 8.4.4
  52. 8.4.3
  53. 8.4.2
  54. 8.4.1
  55. 8.2.2
  56. 8.0.2
  57. 7.10.3

Readme

This is a plugin for the UUAG system.

To use UUAG in combination with Cabal, add a dependency on the packages: uuagc -- installs the tool: uuagc uuagc-cabal -- installs a cabal plugin that uses uuagc Note that this package does not have a dependency on uuagc. You can use this module without having uuagc installed. (whether this is useful is a different question)

Then write a custom Setup.hs:

-- module Main where

import Distribution.Simple import Distribution.Simple.UUAGC (uuagcLibUserHook) import UU.UUAGC (uuagc)

main = defaultMainWithHooks (uuagcLibUserHook uuagc)

Add extra-source-files: uuagc_options The contents of this file are options per AG module, as specified as follows. Write for each AG file:

  • Two lines in a file uuagc_options in the root of the package:

    file: "src-ag/Desugar.ag" options: module, pretty, catas, semfuns, signatures, genlinepragmas

    The options depend on what you actually want to compile.
  • Add an extra source file to the AG file in the cabal file: extra-source-files: src/MyProgram.ag
  • Add the module to the modules list in the cabal file.

Originally written by Juan Cardona (or one of his students).