QPQ-AG/sophia
10
0
Fork 0
Code Issues 41 Pull Requests 5 Actions Packages Projects Releases 16 Wiki Activity

Add function to decode VM values to Sophia abstract syntax #519

Merged
zxq9 merged 4 commits from decode-vm-to-sophia into master 2019-02-26 17:00:49 +09:00
Conversation 5 Commits 4 Files Changed 4 +175 -23

4 Commits

Author SHA1 Message Date
Ulf Norell
eb926b1352 fix type signature 2019-02-25 14:42:47 +01:00
Ulf Norell
dc4a2ca2f9 tests for aeso:compiler:to_sophia_value/2 2019-02-25 14:24:16 +01:00
Ulf Norell
f866e24624 pretty print nullary constructor applications without the parens 2019-02-25 14:23:44 +01:00
Ulf Norell
ccad660eac add compiler function to translate a vm value to Sophia AST 2019-02-25 14:23:23 +01:00