From 62b5acb05c6725c79e939010d207a385ab38de8b Mon Sep 17 00:00:00 2001 From: Hrutvik Kanabar <hrutvikkanabar@yahoo.co.uk> Date: Wed, 5 Jul 2023 14:31:07 +0100 Subject: [PATCH] Try to fix translation --- compiler/binary/pure_backendProgScript.sml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/compiler/binary/pure_backendProgScript.sml b/compiler/binary/pure_backendProgScript.sml index b23bbc52..de98c12d 100644 --- a/compiler/binary/pure_backendProgScript.sml +++ b/compiler/binary/pure_backendProgScript.sml @@ -63,10 +63,12 @@ val r = translate thunk_let_forceTheory.let_force_def; val r = translate thunk_let_forceTheory.simp_let_force_def; val r = translate pure_to_thunkTheory.mk_delay_def; -val r = translate pure_to_thunkTheory.must_delay_def; val r = translate pure_to_thunkTheory.any_el_def; val r = translate pure_to_thunkTheory.get_var_name_def; val r = translate MAP2_DEF; +val r = translate mop_of_mlstring_def; +val r = translate delay_arg_def; +val r = translate monad_to_thunk_def; val r = translate_no_ind pure_to_thunkTheory.to_thunk_def; Triviality to_thunk_ind: