Skip to content

Conversation

@IsaacOscar
Copy link

I have added a few public modifiers to some classes.
This is the minimal set of changes I need for my grace type-checker.
See https://gitlab.ecs.vuw.ac.nz/isaac/GraceTC/tree/vanilla-kernan, specifically the following files:

  • kernan-module/kernan-parser.csproj this is the hand-edit project file for my kernan module, which ensures the module is correctly linked with kernan and places the compiled dll in the appropriate place for kernan to find it.
  • kernan-module/KernanParser.cs this is the source code for my module which relies on the changes in this pull request. It exposes a few methods to grace that I need for my type-checker.
  • kernan-module/Callback.cs this provides a very simple and easy to use library for making Grace callbacks in C# code, it is a drasticly simpler version of kernans own Methods.cs file (which defines class like DelagateMethod1Ctx), I would suggest changed Methods.cs to something like my Callback.cs file as it will allow lots of reduction of code bloat, and allow for more easily exposing methods to grace.
  • build-kernan.sh
    This is a script that will download and compile my modified kernan version and build my kernan module.

@IsaacOscar
Copy link
Author

I'm closing this as I've decided to go a different route, see pull request #7 which replaces this request.

@IsaacOscar IsaacOscar closed this Jan 23, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant