Please try to use the plugin for developing your own GF projects and report any issues you come up against. Feedback (both negative and positive) on the following would be appreciated:
For all bug reports and feature requests, please use the GitHub Issue Tracker.
Description of the GF module types and their icons within the GF Eclipse Plugin.
Icon | Description | Notes |
---|---|---|
Abstract module | abstract Foods = {...} |
|
Concrete module | concrete FoodsEng of Foods = {...} |
|
Resource module | resource ResFoods = {...} |
|
Interface | interface LexFoods = {...} |
|
Instance | instance LexFoodsEng of LexFoods = {...} |
|
Functor | incomplete concrete FoodsI of Foods = {...} |
|
Functor instantiation | concrete FoodsEng of Foods = FoodsI with (...) {...} |
This is the GF command run by the builder:
gf --v=0 --tags --output-dir=.gfbuild [--path=PATH] FILE