Skip to content

Commit b3b9c9c

Browse files
committed
trying to fix scala regresion failure
1 parent 656bf98 commit b3b9c9c

File tree

1 file changed

+10
-6
lines changed

1 file changed

+10
-6
lines changed

BackendAst/DAstACN.fs

Lines changed: 10 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -292,12 +292,16 @@ let private createAcnFunction (r: Asn1AcnAst.AstRoot)
292292
let func, funcDef, auxiliaries, icdResult, ns2 =
293293
match funcNameAndtasInfo with
294294
| None ->
295-
let content, ns1a = funcBody ns errCode [] (NestingScope.init t.acnMaxSizeInBits t.uperMaxSizeInBits []) p
296-
let icdResult =
297-
match content with
298-
| None -> None
299-
| Some bodyResult -> bodyResult.icdResult
300-
None, None, [], icdResult, ns1a
295+
match ST.lang with
296+
| Scala ->
297+
None, None, [], None, ns
298+
| _ ->
299+
let content, ns1a = funcBody ns errCode [] (NestingScope.init t.acnMaxSizeInBits t.uperMaxSizeInBits []) p
300+
let icdResult =
301+
match content with
302+
| None -> None
303+
| Some bodyResult -> bodyResult.icdResult
304+
None, None, [], icdResult, ns1a
301305
| Some funcName ->
302306
let precondAnnots = lm.lg.generatePrecond r ACN t codec
303307
let postcondAnnots = lm.lg.generatePostcond r ACN funcNameBase p t codec

0 commit comments

Comments
 (0)