From 995d2be41df54afcbc39924742d0816f9fad6f33 Mon Sep 17 00:00:00 2001 From: Ilya Rezvov Date: Tue, 23 Jan 2018 09:54:18 -0800 Subject: [PATCH] add readme --- README.md | 18 ++++++++++++++++++ tests/samples/inline-module.wast | 1 + 2 files changed, 19 insertions(+) create mode 100644 README.md create mode 100644 tests/samples/inline-module.wast diff --git a/README.md b/README.md new file mode 100644 index 0000000..fd43c06 --- /dev/null +++ b/README.md @@ -0,0 +1,18 @@ +# Haskell WebAssembly Toolkit + +## Goals + * Provide tool WebAssembly code generation for Haskell + * Create infrastructure for Cmm to WebAssembly code generator + * Have Fun :) + +## Status + * Lexer: supports nested block comments and all lexemes from Spec + * Parser: parses all examples from WebAssembly Core TestsSuit + +## ToDo + * Improve error messages for text representation parsing + * Renaming Phase: substitute identifiers with correct indexes, expand all implicit type declarations) + * Verification Phase: execute verification procedure from Spec + * Text Representation pretty-printer + * Binary format parser/serializer + * Execution Phase: implement simple interpreter for running WebAssembly Core TestsSuit assertions diff --git a/tests/samples/inline-module.wast b/tests/samples/inline-module.wast new file mode 100644 index 0000000..dc7ead7 --- /dev/null +++ b/tests/samples/inline-module.wast @@ -0,0 +1 @@ +(func) (memory 0) (func (export "f"))