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

Fix warnings reporting and stdlib warnings #858

Merged
ghallak merged 10 commits from ghallak/fix-stdlib-warnings into master 2022-06-14 17:22:32 +09:00
Conversation 5 Commits 10 Files Changed 13 -2
1 changed files with 0 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit 9700bd9efe - Show all commits

2
priv/stdlib/Option.aes
View File

@ -1,5 +1,3 @@
include "List.aes"
namespace Option = namespace Option =
function is_none(o : option('a)) : bool = switch(o) function is_none(o : option('a)) : bool = switch(o)