More minor fixes

Consensys · Dec 9, 2024 · e38f456 · e38f456
1 parent ad46ae6
commit e38f456
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/pkg/corset/ast.go b/pkg/corset/ast.go
@@ -679,7 +679,10 @@ func (p *DefProperty) Dependencies() util.Iterator[Symbol] {
 // Lisp converts this node into its lisp representation.  This is primarily used
 // for debugging purposes.
 func (p *DefProperty) Lisp() sexp.SExp {
-	panic("got here")
+	return sexp.NewList([]sexp.SExp{
+		sexp.NewSymbol("defproperty"),
+		sexp.NewSymbol(p.Handle),
+		p.Assertion.Lisp()})
 }
 
 // ============================================================================

diff --git a/pkg/corset/parser.go b/pkg/corset/parser.go
@@ -260,7 +260,6 @@ func (p *Parser) parseDeclaration(module string, s *sexp.List) (Declaration, []S
 	}
 	// Register node if appropriate
 	if decl != nil {
-		fmt.Println(decl.Lisp().String(false))
 		p.mapSourceNode(s, decl)
 	}
 	// done