QPQ-AG/sophia
11
0
Fork 0
Code Issues 43 Pull Requests 7 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