forked from glen/fostr
Glen Whitney
2772fd0c5c
In addition, for the sake of Haskell code generation, this PR adds static typing with Statix. Resolves #5. Co-authored-by: Glen Whitney <glen@studioinfinity.org> Reviewed-on: glen/fostr#19 Co-Authored-By: Glen Whitney <glen@nobody@nowhere.net> Co-Committed-By: Glen Whitney <glen@nobody@nowhere.net>
26 lines
487 B
Plaintext
26 lines
487 B
Plaintext
module Analysis
|
|
|
|
imports
|
|
|
|
statix/Menus
|
|
|
|
language
|
|
|
|
// see docs/implementation.md for details on how to switch to multi-file analysis
|
|
|
|
observer : editor-analyze (constraint) // (multifile)
|
|
|
|
references
|
|
|
|
reference _ : editor-resolve
|
|
|
|
hover _ : editor-hover
|
|
|
|
menus
|
|
|
|
menu: "Analysis" (openeditor)
|
|
|
|
action: "Show pre-analyzed AST" = debug-show-pre-analyzed (source)
|
|
action: "Show analyzed AST" = debug-show-analyzed
|
|
action: "Show analyzed type" = debug-show-type
|