From c764a9ab2900768ffac9dfb64793d7e5df373715 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Andr=C3=A9s=20Goens?= Date: Wed, 24 Apr 2024 14:16:08 +0200 Subject: [PATCH] Revert "feat: strip trailing whitespace" This reverts commit 182c506ac3ac8c1c1381e9c7aff2a54b3bf04704. --- SSA/Projects/InstCombine/LLVM/Parser.lean | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/SSA/Projects/InstCombine/LLVM/Parser.lean b/SSA/Projects/InstCombine/LLVM/Parser.lean index 8567efe5f..e570d7678 100644 --- a/SSA/Projects/InstCombine/LLVM/Parser.lean +++ b/SSA/Projects/InstCombine/LLVM/Parser.lean @@ -4,13 +4,13 @@ import Init.Data.Repr open MLIR AST -def regionTransform (region : Region) : Except ParseError - (Σ (Γ' : Context) (ty : InstCombine.Ty), Com Γ' ty) := +def regionTransform (region : Region) : Except ParseError + (Σ (Γ' : Context) (ty : InstCombine.Ty), Com Γ' ty) := let res := mkCom region - match res with - | Except.error e => Except.error s!"Error:\n{reprStr e}" + match res with + | Except.error e => Except.error s!"Error:\n{reprStr e}" | Except.ok res => Except.ok res def parseIComFromFile (fileName : String) : IO (Option (Σ (Γ' : Context) (ty : InstCombine.Ty), Com Γ' ty)) := do - parseRegionFromFile fileName regionTransform + parseRegionFromFile fileName regionTransform \ No newline at end of file