From e5c5b3e1011bd30b0222f95bddc8366353b78666 Mon Sep 17 00:00:00 2001 From: Ivory Date: Mon, 5 Jun 2023 11:08:54 -0400 Subject: [PATCH] bug: multiple generated solutions --- src/lang.bnf | 29 ++++++----------------------- src/main.rs | 3 ++- src/person.vm | 3 ++- 3 files changed, 10 insertions(+), 25 deletions(-) diff --git a/src/lang.bnf b/src/lang.bnf index 3b571d1..28ac3a5 100644 --- a/src/lang.bnf +++ b/src/lang.bnf @@ -1,29 +1,16 @@ - - ::= <_n> <_n> - ::= | <_> <__n> - - ::= | - - - ::= "use" <__> - - - - ::= "{ }" ::= "()" - ::= | "::" ::= "$" @@ -43,19 +30,15 @@ ::= | <__n> ::= <_n> -<_n> ::= - | | | - | <_n> - | <_n> - | <_n> +<_n> ::= | <_n$1> +<_n$1> ::= | | + | <_n$1> + | <_n$1> + | <_n$1> <_> ::= | <__> <__> ::= | | <__> | <__> ::= "" - ::= " " - ::= " -" | " -" - ::= " " \ No newline at end of file + ::= " " \ No newline at end of file diff --git a/src/main.rs b/src/main.rs index cd8c90c..58a30de 100644 --- a/src/main.rs +++ b/src/main.rs @@ -14,7 +14,8 @@ use crate::transformers::base::Program; fn main() { - let input = include_str!("lang.bnf"); + let input = include_str!("lang.bnf").to_owned() + + "\n ::= \"\n\" | \"\r\n\"\n ::= \"\t\""; let grammar: Grammar = input.parse().unwrap(); let vm_file = include_str!("person.vm"); diff --git a/src/person.vm b/src/person.vm index ff9d4be..fd28b03 100644 --- a/src/person.vm +++ b/src/person.vm @@ -1,2 +1,3 @@ -use vlib::Console +use vlib::thing::foo::bar::Console + use vlib::Map \ No newline at end of file