diff options
| author | Gabriel Kerneis | 2014-07-15 12:12:17 +0100 |
|---|---|---|
| committer | Gabriel Kerneis | 2014-07-15 12:12:17 +0100 |
| commit | 4eeefc3efc4eaa9396151347e78748b363e7dd77 (patch) | |
| tree | 1c780d24441a9ce05af2aec49aadcb063e1d353b /src/pp.ml | |
| parent | 4a76a82536abfb36cc4ceca743804e432438df3d (diff) | |
Add failing test for type of aliases
File "test/regbits.sail", line 23, character 3 to line 23, character 4
Type error: Can only assign to identifiers with type register or reg,
found identifier CA with type bit
Diffstat (limited to 'src/pp.ml')
0 files changed, 0 insertions, 0 deletions