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

Stdlib overhaul #624

Merged
zxq9 merged 12 commits from stdlib-overhaul into master 2019-08-28 15:38:40 +09:00
Conversation 6 Commits 12 Files Changed 24 +3 -3
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit 79a928e530 - Show all commits

4
src/aeso_syntax.erl
View File

@ -105,8 +105,8 @@
| id() | qid() | con() | qcon() | id() | qid() | con() | qcon()
| constant(). | constant().
-type comprehension_exp() :: [{ comprehension_bind, ann(), id(), expr()} -type comprehension_exp() :: [ {comprehension_bind, id(), expr()}
| {comprehension_if, expr()} | {comprehension_if, ann(), expr()}
| letbind() ]. | letbind() ].
-type arg_expr() :: expr() | {named_arg, ann(), id(), expr()}. -type arg_expr() :: expr() | {named_arg, ann(), id(), expr()}.