Skip to content
Closed
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
8 changes: 8 additions & 0 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -5,6 +5,14 @@
A simple language for writing Dfinity actors.


## Git submodules

Note: The `vendor/wasm-spec/` directory is empty until you issue this command:

```
git submodule update --init --recursive
```

## Installation using Nix

To install the `asc` binary into your nix environment, use
Expand Down
6 changes: 6 additions & 0 deletions src/pipeline.ml
Original file line number Diff line number Diff line change
Expand Up @@ -9,6 +9,12 @@ type stat_env = Typing.scope
type dyn_env = Interpret.env
type env = stat_env * dyn_env

(* TEMP --- include these modules in the build, even they they are unused: *)
module Syntaxops_ir = Syntaxops_ir
let _ = Syntaxops_ir.fresh (* a "use" of the module, to suppress build errors *)
module Tailcall_ir = Tailcall_ir
let _ = Tailcall_ir.prog (* a "use" of the module, to suppress build errors *)

(* Diagnostics *)

let phase heading name =
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Have you tried replacing the existing tco with the new one? You'd have to move desugar up just before tco and then call the new version of tco.

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Not yet. How would I notice problems? Some regression tests would/might fail?

Expand Down
Loading