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

Covered qid case in ast_typerep #601

Merged
zxq9 merged 1 commits from github/fork/radrow/patch-1 into master 2019-08-05 16:15:13 +09:00
Conversation 3 Commits 1 Files Changed 1 +1 -1

1 Commits

Author SHA1 Message Date
Radosław Rowicki
4c78ab3aee
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
 2019-07-26 15:31:06 +02:00