mirror of
https://github.com/polarity-lang/polarity.git
synced 2025-12-23 09:19:50 +00:00
Remove NatLit desugaring error variant
This commit is contained in:
parent
d6d1c3fbfa
commit
2ed0ff842e
3 changed files with 0 additions and 17 deletions
|
|
@ -65,12 +65,6 @@ pub enum LoweringError {
|
|||
#[label]
|
||||
span: SourceSpan,
|
||||
},
|
||||
#[error("Literal cannot be desugared because S/Z are not in program")]
|
||||
#[diagnostic(code("L-010"))]
|
||||
NatLiteralCannotBeDesugared {
|
||||
#[label]
|
||||
span: SourceSpan,
|
||||
},
|
||||
#[error("Mismatched named arguments: given {}, expected {}", given.id, expected.id)]
|
||||
#[diagnostic(code("L-011"))]
|
||||
MismatchedNamedArgs {
|
||||
|
|
|
|||
|
|
@ -1,8 +0,0 @@
|
|||
L-010
|
||||
|
||||
× Literal cannot be desugared because S/Z are not in program
|
||||
╭─[L-010.pol:3:17]
|
||||
2 │
|
||||
3 │ let foo : Nat { 5 }
|
||||
· ─
|
||||
╰────
|
||||
|
|
@ -1,3 +0,0 @@
|
|||
data Nat {}
|
||||
|
||||
let foo : Nat { 5 }
|
||||
Loading…
Add table
Add a link
Reference in a new issue