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

Add comparable typevar constraints #881

Open
ghallak wants to merge 15 commits from ghallak/229 into master
pull from: ghallak/229
merge into: QPQ-AG:master
Conversation 18 Commits 15 Files Changed 15 +1 -1
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit fc2875965e - Show all commits

2
src/aeso_ast_infer_types.erl
View File

@ -824,7 +824,7 @@ infer(Contracts, Options) ->
%% Set the constraints for the builtin types
ets_new(ord_constraint_types, [set]),
OrdTypes = [ {"int"}, {"bool"}, {"bits"}, {"char"}, {"string"}, {"list"}, {"option"} ],
OrdTypes = [ {"int"}, {"bool"}, {"bits"}, {"char"}, {"string"}, {"list"}, {"option"}, {"address"} ],
ets_insert(ord_constraint_types, OrdTypes),
when_warning(warn_unused_functions, fun() -> create_unused_functions() end),