QPQ-AG/sophia
12
0
Fork 0
Code Issues 43 Pull Requests 7 Actions Packages Projects Releases 16 Wiki Activity

Add Sophia AIC builtins and Auth.tx constructors #992

Open
uwiger wants to merge 4 commits from uw-aci into master
pull from: uw-aci
merge into: :master
Conversation 0 Commits 4 Files Changed 12
+2 -1
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit 80c369b4d0 - Show all commits
src/so_ast_to_fcode.erl
+2 -1
View File
@@ -335,7 +335,8 @@ init_type_env() ->
[address, integer],
[integer],
[{list, {tuple, [{variant, [[], [address]]}, address, address, integer]}}],
[address, integer, string, {list, {tuple, [address, integer]}}]
[address, integer, string, {list, {tuple, [address, integer]}}],
[integer]
]},
#{ ["int"] => ?type(integer),
["bool"] => ?type(boolean),