Skip to content

Commit 364d779

Browse files
committed
Add comment on the difference between formality and minirust
1 parent 5ea7e87 commit 364d779

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

crates/formality-rust/src/grammar/minirust.rs

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -8,6 +8,8 @@ use crate::grammar::FnId;
88
use std::sync::Arc;
99

1010
// This definition is based on [MiniRust](https://github.com/minirust/minirust/blob/master/spec/lang/syntax.md).
11+
// Difference from minirust:
12+
// * ValueExpression::Struct - In minirust, struct is represented as Tuple.
1113

1214
id!(BbId);
1315
id!(LocalId);

0 commit comments

Comments
 (0)