Covered qid case in ast_typerep
Because `qid` was not accepted the following code ``` contract Test = datatype myOption('a) = MyNone | MySome('a) entrypoint optionFn(v: myOption(string)): myOption(string) = v ``` Used to lead to `function_clause` error. Bug copyright (c) @nduchak
This commit is contained in:
parent
4bf382a997
commit
4c78ab3aee
@ -728,7 +728,7 @@ ast_typerep({con, _, _}, _) ->
|
||||
word; %% Contract type
|
||||
ast_typerep({bytes_t, _, Len}, _) ->
|
||||
bytes_t(Len);
|
||||
ast_typerep({app_t, _, {id, _, Name}, Args}, Icode) ->
|
||||
ast_typerep({app_t, _, {I, _, Name}, Args}, Icode) when I =:= id; I =:= qid ->
|
||||
ArgReps = [ ast_typerep(Arg, Icode) || Arg <- Args ],
|
||||
lookup_type_id(Name, ArgReps, Icode);
|
||||
ast_typerep({tvar,_,A}, #{ type_vars := TypeVars }) ->
|
||||
|
Loading…
x
Reference in New Issue
Block a user