github/frege-gradle-plugin.git/src/main/java/ch/fhnw/thga/gradleplugins/internal, branch master Unnamed repository; edit this file 'description' to name the repository. feat: adds `replSource` property and command-line option 2021-12-21T10:22:55+00:00 Thibault Gagnaux tgagnaux@gmail.com 2021-12-20T19:48:17+00:00 992490f446720cd4cf4fb9aadff463b2328a8287 The `replSource` property specifies the frege source file that you want to load into the repl. It is excluded in the `fregeCompile` task so that we don't get two java class files (one from `compileFrege` and one from the fregeRepl `:l` command) that shadow each other on the classpath. As a result, we can make interactive changes to the `replSource` file and use the `:r` reload command to see them. 
The `replSource` property specifies the frege source file that you want to
load into the repl. It is excluded in the `fregeCompile` task so that
we don't get two java class files (one from `compileFrege` and one
from the fregeRepl `:l` command) that shadow each other on the classpath.

As a result, we can make interactive changes to the `replSource` file and
use the `:r` reload command to see them.
refactor: extracts common `setupClasspath` logic to util class 2021-12-21T10:19:07+00:00 Thibault Gagnaux tgagnaux@gmail.com 2021-12-20T11:54:53+00:00 f923b4f8733003d55891dd4da25d849c81c4933c 






refactor: adds an internal `depsFrege` task and simplifes `replFrege`
2021-12-10T08:31:44+00:00

Thibault Gagnaux
tgagnaux@gmail.com

2021-12-10T08:31:44+00:00

815cc93c870a2a857de8c5dd1dcc8c9aa5b4f2a8

- `depsFregeTask`: only internal use for the vscode plugin to automate the
repl code lens.
- `replFregeTask`: simplified to only print the command to start the repl because
starting and interacting through a console is not gradle's core strength. See
https://github.com/tricktron/frege-gradle-plugin/issues/11.





- `depsFregeTask`: only internal use for the vscode plugin to automate the
repl code lens.
- `replFregeTask`: simplified to only print the command to start the repl because
starting and interacting through a console is not gradle's core strength. See
https://github.com/tricktron/frege-gradle-plugin/issues/11.