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 +4 -2
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit 6c17e57a7c - Show all commits

6
src/aeso_ast_infer_types.erl
View File

@ -87,7 +87,10 @@
-type byte_constraint() :: {is_bytes, utype()}
| {add_bytes, aeso_syntax:ann(), concat | split, utype(), utype(), utype()}.
-type constraint() :: named_argument_constraint() | field_constraint() | byte_constraint().
-type tvar_constraint() :: {is_eq, utype()}
| {is_ord, utype()}.
-type constraint() :: named_argument_constraint() | field_constraint() | byte_constraint() | tvar_constraint().
-record(field_info,
{ ann :: aeso_syntax:ann()
@ -1183,7 +1186,6 @@ check_modifiers1(What, Decl) when element(1, Decl) == letfun; element(1, Decl) =
ok;
check_modifiers1(_, _) -> ok.
-spec extract_typevars(utype()) -> [aeso_syntax:tvar()].
extract_typevars(Type) ->
case Type of
TVar = {tvar, _, _} -> [TVar];