Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Teach HLS about different file extensions #2945

Merged
merged 7 commits into from
Jun 22, 2022
Merged

Teach HLS about different file extensions #2945

merged 7 commits into from
Jun 22, 2022

Commits on Jun 21, 2022

  1. Fix parameter switch-up

    @fendor
    fendor committed Jun 21, 2022
    Configuration menu
    Copy the full SHA
    addb648 View commit details
    Browse the repository at this point in the history

  2. Generalise file extension handling for plugins 

    NotificationHandler now distinguishes between different file extensions
RequestHandler distinguishes between different file extensions
    @VeryMilkyJoe @fendor
    VeryMilkyJoe authored and fendor committed Jun 21, 2022
    Configuration menu
    Copy the full SHA
    fed7ad7 View commit details
    Browse the repository at this point in the history

  3. Introduce PluginMethod Typeclass hierarchy 

    The hierarchy looks as follows:

            PluginMethod (pluginEnabled)
                          |
         -----------------------------------
         |                                 |
 PluginRequestMethod             PluginNotificationMethod
    @fendor
    Jana Chadt authored and fendor committed Jun 21, 2022
    Configuration menu
    Copy the full SHA
    53b903e View commit details
    Browse the repository at this point in the history

  4. Add example plugin

    @fendor
    fendor committed Jun 21, 2022
    Configuration menu
    Copy the full SHA
    c8eb96b View commit details
    Browse the repository at this point in the history

  5. Improve documentation for plugins

    @fendor
    fendor committed Jun 21, 2022
    Configuration menu
    Copy the full SHA
    e7e60bc View commit details
    Browse the repository at this point in the history

Commits on Jun 22, 2022

  1. Simplify Plugin Handling code

    Fendor committed Jun 22, 2022
    Configuration menu
    Copy the full SHA
    dd56166 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into feature/cabal-file-support

    @mergify
    mergify[bot] authored Jun 22, 2022
    Configuration menu
    Copy the full SHA
    3301da5 View commit details
    Browse the repository at this point in the history