diff options
| author | Alasdair Armstrong | 2017-07-13 18:49:11 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-07-13 19:09:17 +0100 |
| commit | d6e7190874c7e066881c38f49a6af7c205b3cd32 (patch) | |
| tree | 8dc19dc9a5dfe1a325f2ff724f2012dcae963e40 /mips_new_tc | |
| parent | ccbaca91c916263aee8e7b83f5d35613a7f5e596 (diff) | |
Added some code to check if function return types in function clauses and val specs are the same
Diffstat (limited to 'mips_new_tc')
| -rw-r--r-- | mips_new_tc/mips_wrappers.sail | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mips_new_tc/mips_wrappers.sail b/mips_new_tc/mips_wrappers.sail index 5b36983d..c5eb6cf4 100644 --- a/mips_new_tc/mips_wrappers.sail +++ b/mips_new_tc/mips_wrappers.sail @@ -69,6 +69,6 @@ function (bit[64]) TranslatePC ((bit[64]) vAddr) = { let have_cp2 = false -function unit SignalException ((Exception) ex) = SignalExceptionMIPS(ex, 0x0000000000000000) +function forall Type 'o. 'o SignalException ((Exception) ex) = SignalExceptionMIPS(ex, 0x0000000000000000) function unit ERETHook() = () |