waalge/aiken
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

fix: uplc formatter of Data closes #716

Browse Source
This commit is contained in:
rvcas
2023-08-31 17:20:48 -04:00
parent 51c44c6a30
commit fb967d4c7b
2 changed files with 6 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
crates/uplc/src/parser.rs
View File

@@ -158,7 +158,7 @@ peg::parser! {
= "unit" _+ "()" { Constant::Unit }
rule constant_data() -> Constant
= "data" _+ "(" d:data() ")" { Constant::Data(d) }
= "data" _+ "(" _* d:data() _* ")" { Constant::Data(d) }
rule constant_list() -> Constant
= "(" _* "list" _* t:type_info() _* ")" _+ ls:list(Some(&t)) {

9
crates/uplc/src/pretty.rs
View File

@@ -226,7 +226,10 @@ impl Constant {
.append(RcDoc::text(", "))
.append(right.to_doc_list())
.append(RcDoc::text(")")),
d @ Constant::Data(_) => RcDoc::text("data ").append(d.to_doc_list()),
Constant::Data(d) => RcDoc::text("data ")
.append(RcDoc::text("("))
.append(Self::to_doc_list_plutus_data(d))
.append(RcDoc::text(")")),
}
}
@@ -251,9 +254,7 @@ impl Constant {
.append((*right).to_doc_list())
.append(RcDoc::text(")")),
Constant::Data(data) => RcDoc::text("(")
.append(Self::to_doc_list_plutus_data(data))
.append(RcDoc::text(")")),
Constant::Data(data) => Self::to_doc_list_plutus_data(data),
}
}