diff options
Diffstat (limited to 'mips_new_tc/mips_ast_decl.sail')
| -rw-r--r-- | mips_new_tc/mips_ast_decl.sail | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/mips_new_tc/mips_ast_decl.sail b/mips_new_tc/mips_ast_decl.sail index 5d06eacb..e39bc270 100644 --- a/mips_new_tc/mips_ast_decl.sail +++ b/mips_new_tc/mips_ast_decl.sail @@ -35,10 +35,10 @@ /* misp_insts.sail: mips instruction decode and execute clauses and AST node declarations */ -scattered type ast = const union +scattered union ast val execute : ast -> unit effect {barr, eamem, escape, rmem, rreg, undef, wmv, wreg} -scattered function unit execute +scattered function execute val decode : bits(32) -> option(ast) effect pure -scattered function option(ast) decode +scattered function decode |