forked from M-Labs/nac3
1
0
Fork 0
New ARTIQ compiler, third iteration
Go to file
pca006132 0af4e95914 Merge remote-tracking branch 'origin/hm-inference_anto' into hm-inference 2021-08-11 15:42:32 +08:00
nac3core Merge remote-tracking branch 'origin/hm-inference_anto' into hm-inference 2021-08-11 15:42:32 +08:00
nac3embedded nac3embedded: compilation demo 2020-12-19 16:23:12 +08:00
nac3standalone nac3standalone: renames 2020-12-18 22:35:59 +08:00
.gitignore nac3embedded: basic source extraction 2020-12-18 23:45:09 +08:00
Cargo.lock added rayon dependency 2021-08-05 14:56:09 +08:00
Cargo.toml libnac3 -> nac3core 2020-12-18 10:18:21 +08:00
README.md updated readme 2021-06-28 17:17:08 +08:00
shell.nix update some previous work on top level with the clean up 2021-08-11 13:31:59 +08:00

README.md

nac3 compiler

This repository contains:

  • nac3core: Core compiler library, containing type-checking, static analysis (in the future) and code generation.
  • nac3embedded: Integration with CPython runtime.
  • nac3standalone: Standalone compiler tool.

The core compiler would know nothing about symbol resolution, host variables etc. The nac3embedded/nac3standalone library would provide (implement) the symbol resolver to the core compiler for resolving the type and value for unknown symbols. The core compiler would only type check classes and functions requested by the nac3embedded/nac3standalone lib (the API should allow the caller to specify which methods should be compiled). After type checking, the compiler would analyse the set of functions/classes that are used and perform code generation.

value could be integer values, boolean values, bytes (for memcpy), function ID (full name + concrete type)

Current Plan

Type checking:

  • Basic interface for symbol resolver.
  • Track location information in context object (for diagnostics).
  • Refactor old expression and statement type inference code. (anto)
  • Error diagnostics utilities. (pca)
  • Move tests to external files, write scripts for testing. (pca)
  • Implement function type checking (instantiate bounded type parameters), loop unrolling, type inference for lists with virtual objects. (pca)