search

tricktron / frege-lsp-server

Frege Language Server Using the Language Server Protocol
MIT License
1 stars 0 forks source link

Questions about the Frege Compiler #20

Closed tricktron closed 2 years ago

tricktron commented 2 years ago

Goal

Retrieve the compile errors if there any.

Current Failing Approach

https://github.com/tricktron/frege-lsp-server/blob/d9e5a2769bc4b96d0a3f796849cdccffa251dbad/src/main/frege/ch/fhnw/thga/CompilerExploration.fr#L73-L87

How to Reproduce

  1. Copy the code https://github.com/tricktron/frege-lsp-server/blob/d9e5a2769bc4b96d0a3f796849cdccffa251dbad/src/main/frege/ch/fhnw/thga/CompilerExploration.fr
  2. Point the workingFIlePath to a correctFrege file, e.g https://github.com/tricktron/frege-lsp-server/blob/d9e5a2769bc4b96d0a3f796849cdccffa251dbad/src/test/resources/CorrectFregeTest.fr
  3. Point the badFilePath to a Frege file with errors, e.g. https://github.com/tricktron/frege-lsp-server/blob/d9e5a2769bc4b96d0a3f796849cdccffa251dbad/src/test/resources/src/main/frege/ch/fhnw/thga/FaultyFregeTest.fr

Questions