expose all diagnostic options

Frege / frege-gradle-plugin

Gradle plugin for compiling Frege projects

BSD 3-Clause "New" or "Revised" License

25 stars 10 forks source link

expose all diagnostic options #4

Open Dierk opened 9 years ago

Dierk commented 9 years ago

https://github.com/Frege/frege/wiki/Compiler-Manpage

-comments Generate commented Java code. This makes code generation substantially slower, but can be useful at times.

-nowarn Not recommended. Suppress warnings like those about incomplete pattern matches.

-explain i[-j]

Ingo60 commented 9 years ago

Note that the -explain option really only makes sense for a single, specific file - namely one where you got a type error on line i that you didn't understand. You might then repeat compilation with -explain i to get better insight.

Dierk commented 9 years ago

ok, that sounds like an option that can go into the "extra arguments", i.e. those who know about it can supply it like on the command line