From b3b9c9c52ab119b35d17fda4f5403a2c9b7440fa Mon Sep 17 00:00:00 2001 From: George Mamais Date: Sun, 15 Dec 2024 15:07:51 +0200 Subject: [PATCH] trying to fix scala regresion failure --- BackendAst/DAstACN.fs | 16 ++++++++++------ 1 file changed, 10 insertions(+), 6 deletions(-) diff --git a/BackendAst/DAstACN.fs b/BackendAst/DAstACN.fs index 561939f2..d9313c9d 100644 --- a/BackendAst/DAstACN.fs +++ b/BackendAst/DAstACN.fs @@ -292,12 +292,16 @@ let private createAcnFunction (r: Asn1AcnAst.AstRoot) let func, funcDef, auxiliaries, icdResult, ns2 = match funcNameAndtasInfo with | None -> - let content, ns1a = funcBody ns errCode [] (NestingScope.init t.acnMaxSizeInBits t.uperMaxSizeInBits []) p - let icdResult = - match content with - | None -> None - | Some bodyResult -> bodyResult.icdResult - None, None, [], icdResult, ns1a + match ST.lang with + | Scala -> + None, None, [], None, ns + | _ -> + let content, ns1a = funcBody ns errCode [] (NestingScope.init t.acnMaxSizeInBits t.uperMaxSizeInBits []) p + let icdResult = + match content with + | None -> None + | Some bodyResult -> bodyResult.icdResult + None, None, [], icdResult, ns1a | Some funcName -> let precondAnnots = lm.lg.generatePrecond r ACN t codec let postcondAnnots = lm.lg.generatePostcond r ACN funcNameBase p t codec