From ba946ad88befae93404bef9fd88ac1a283451722 Mon Sep 17 00:00:00 2001 From: Shon Feder Date: Thu, 5 Oct 2023 09:18:54 -0400 Subject: [PATCH] Remove commented out code --- quint/src/parsing/ToIrListener.ts | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/quint/src/parsing/ToIrListener.ts b/quint/src/parsing/ToIrListener.ts index 8c23313a8..6085250e7 100644 --- a/quint/src/parsing/ToIrListener.ts +++ b/quint/src/parsing/ToIrListener.ts @@ -456,7 +456,7 @@ export class ToIrListener implements QuintListener { const poppedType = this.popType().value // Check if we have an accompanying type, and if not, then synthesize the // unit type. - // const poppedType = this.popType().value + // // I.e., we interpret a variant `A` as `A({})`. const fieldType: QuintType = poppedType ? poppedType : unitType(this.getId(ctx)) this.variantStack.push({ fieldName, fieldType }) @@ -1007,7 +1007,6 @@ export class ToIrListener implements QuintListener { const labelStr: QuintStr = { id: caseId, kind: 'str', value: label } const elim: QuintLambda = { id: caseId, kind: 'lambda', qualifier: 'def', expr: caseExpr, params } return [labelStr, elim] - // return acc.concat([labelStr, elim]) } /** ******************* translate types ********************************/