diff options
| author | Gabriel Kerneis | 2014-02-05 17:11:12 +0000 |
|---|---|---|
| committer | Gabriel Kerneis | 2014-02-05 17:11:12 +0000 |
| commit | 48a0e38202340ad72f4827474198c7f00bac2bc6 (patch) | |
| tree | e09fdca9476ade9a782148eb7c1e63e2591d8415 /src/parse_ast.ml | |
| parent | e99d40206441306f472fb7ba896967183673fd61 (diff) | |
Adding failing typechecking test
File "test/test1.sail", line 27, character 22 to line 27, character 26
Type error: Type mismatch :(6() * ) , bit
Diffstat (limited to 'src/parse_ast.ml')
0 files changed, 0 insertions, 0 deletions