equal
deleted
inserted
replaced
456 val capp = app @{const_syntax Rep_cfun} |
456 val capp = app @{const_syntax Rep_cfun} |
457 val capps = Library.foldl capp |
457 val capps = Library.foldl capp |
458 fun con1 authentic n (con,args) = |
458 fun con1 authentic n (con,args) = |
459 Library.foldl capp (c_ast authentic con, argvars n args) |
459 Library.foldl capp (c_ast authentic con, argvars n args) |
460 fun case1 authentic (n, c) = |
460 fun case1 authentic (n, c) = |
461 app "_case1" (con1 authentic n c, expvar n) |
461 app "_case1" (Syntax.strip_positions_ast (con1 authentic n c), expvar n) |
462 fun arg1 (n, (con,args)) = List.foldr cabs (expvar n) (argvars n args) |
462 fun arg1 (n, (con,args)) = List.foldr cabs (expvar n) (argvars n args) |
463 fun when1 n (m, c) = |
463 fun when1 n (m, c) = |
464 if n = m then arg1 (n, c) else (Constant @{const_syntax bottom}) |
464 if n = m then arg1 (n, c) else (Constant @{const_syntax bottom}) |
465 val case_constant = Constant (syntax (case_const dummyT)) |
465 val case_constant = Constant (syntax (case_const dummyT)) |
466 fun case_trans authentic = |
466 fun case_trans authentic = |