Skip to content

Latest commit

 

History

History
13 lines (9 loc) · 362 Bytes

README.md

File metadata and controls

13 lines (9 loc) · 362 Bytes

redIDL

Redleaf IPC IDL compiler.

Syntax

Same as rust. But for cross-domain interface traits, we mark then with #[interface]. And we mark domain create traits with #[domain_creation]. See test.ridl in ../data/ for example.

Constrains

  • All modules must be public.
  • Identifiers starts with RRef will be reserved.
  • No super trait allow.