-
- Downloads
Internal: decorate ast_typed with signatures on module expressions
Showing
- src/bin/expect_tests/get_scope.ml 1 addition, 2 deletionssrc/bin/expect_tests/get_scope.ml
- src/bin/expect_tests/get_scope_full_stdlib.ml 0 additions, 1 deletionsrc/bin/expect_tests/get_scope_full_stdlib.ml
- src/bin/expect_tests/get_scope_regressions.ml 0 additions, 1 deletionsrc/bin/expect_tests/get_scope_regressions.ml
- src/bin/expect_tests/package_management.ml 3 additions, 2 deletionssrc/bin/expect_tests/package_management.ml
- src/bin/repl.ml 7 additions, 3 deletionssrc/bin/repl.ml
- src/environment/environment.ml 7 additions, 4 deletionssrc/environment/environment.ml
- src/environment/environment.mli 2 additions, 0 deletionssrc/environment/environment.mli
- src/main/build/build.ml 33 additions, 5 deletionssrc/main/build/build.ml
- src/main/build/build.mli 18 additions, 2 deletionssrc/main/build/build.mli
- src/main/compile/of_core.ml 32 additions, 0 deletionssrc/main/compile/of_core.ml
- src/main/ligo_lsp/ligo_interface/ligo_interface.ml 1 addition, 0 deletionssrc/main/ligo_lsp/ligo_interface/ligo_interface.ml
- src/main/ligo_lsp/requests/handler.ml 1 addition, 1 deletionsrc/main/ligo_lsp/requests/handler.ml
- src/main/ligo_lsp/utils/utils.ml 1 addition, 2 deletionssrc/main/ligo_lsp/utils/utils.ml
- src/main/scopes/misc.ml 1 addition, 1 deletionsrc/main/scopes/misc.ml
- src/main/scopes/references.mli 1 addition, 1 deletionsrc/main/scopes/references.mli
- src/passes/10-checking/checking.ml 15 additions, 5 deletionssrc/passes/10-checking/checking.ml
- src/passes/10-checking/checking.mli 7 additions, 0 deletionssrc/passes/10-checking/checking.mli
- src/passes/10-checking/computation.ml 1 addition, 1 deletionsrc/passes/10-checking/computation.ml
- src/passes/10-checking/elaboration.ml 15 additions, 0 deletionssrc/passes/10-checking/elaboration.ml
- src/passes/10-checking/elaboration.mli 1 addition, 0 deletionssrc/passes/10-checking/elaboration.mli
Loading
Please register or sign in to comment