done

Author: zeme-wana

plutus-core/untyped-plutus-core/src/UntypedPlutusCore/Parser.hs

@@ -105,7 +105,7 @@ term =
       withSpan $ \sp -> do
         _ <- try (symbol "[")
         t <- appTerm sp
-        _ <- symbol "]"
+        _ <- char ']'
         return t
 
     tryTermInParens :: Parser PTerm
@@ -124,7 +124,7 @@ term =
             , try (symbol "constr") *> constrTerm sp
             , try (symbol "case") *> caseTerm sp
             ]
-        _ <- symbol ")"
+        _ <- char ')'
         return t
 
 -- | Parser for UPLC programs.

plutus-core/untyped-plutus-core/testlib/Generators/Spec.hs

@@ -11,8 +11,7 @@ import Control.Lens (view)
 import Control.Monad (unless)
 import Data.Text (Text)
 import Data.Text qualified as T
-import Debug.Trace
-import Hedgehog (Gen, Property, annotate, annotateShow, failure, property, tripping, (===))
+import Hedgehog (annotate, annotateShow, failure, property, tripping, (===))
 import Hedgehog.Gen qualified as Gen
 import Hedgehog.Range qualified as Range
 import PlutusCore (Name)
@@ -66,7 +65,6 @@ propTermSrcSpan = testPropertyNamed
     case result of
       Right term -> do
         let (endingLine', endingCol') = getTermEndingLineAndCol term
-        annotateShow (endingLine', endingCol', "asdasdasdasdasdasdasdasdasdasdasd")
         (endingLine', endingCol') === (endingLine, endingCol + 1)
       Left err ->
         handleParseError err
@@ -88,8 +86,7 @@ propTermSrcSpan = testPropertyNamed
 
     getTermEndingLineAndCol term = do
       let sp = termAnn term
-      let x = (srcSpanELine sp, srcSpanECol sp)
-      traceShow (term, sp, x) $ x
+      (srcSpanELine sp, srcSpanECol sp)
 
     handleParseError err = annotate (display err) >> failure