CSY/reowolf Changeset - 82144e3ee1c1 · Centrum Wiskunde & Informatica (CWI)

Changeset - 82144e3ee1c1

Parent rev.

Child rev.

[Not reviewed]

0 4 0

MH - 4 years ago 2021-05-27 12:25:23
contact@maxhenger.nl

Remove pre/post inc/decrement

4 files changed with 22 insertions and 29 deletions:

src/protocol/ast.rs

src/protocol/eval/value.rs

src/protocol/parser/pass_definitions.rs

src/protocol/parser/pass_typing.rs

0 comments (0 inline, 0 general)

src/protocol/ast.rs

➞

Show inline comments

@@ @@ -404,8 +404,7 @@ impl ParserTypeVariant { @@
 #[derive(Debug, Clone)]
 pub struct ParserTypeElement {
     // TODO: @cleanup, do we ever need the span of a user-defined type after
     //  constructing it?
     // TODO: @Fix span
     pub full_span: InputSpan, // full span of type, including any polymorphic arguments
     pub variant: ParserTypeVariant,
+}
@@ @@ -1667,10 +1666,6 @@ pub enum UnaryOperator { @@
     Negative,
     BitwiseNot,
     LogicalNot,
     PreIncrement,
     PreDecrement,
     PostIncrement,
     PostDecrement,
+}
 #[derive(Debug, Clone)]

src/protocol/eval/value.rs

➞

Show inline comments

         },
         UO::BitwiseNot => { apply_int_expr_and_return!(value, !, op)},
         UO::LogicalNot => { return Value::Bool(!value.as_bool()); },
         UO::PreIncrement => { todo!("implement") },
         UO::PreDecrement => { todo!("implement") },
         UO::PostIncrement => { todo!("implement") },
         UO::PostDecrement => { todo!("implement") },
+    }
+}

src/protocol/parser/pass_definitions.rs

➞

Show inline comments

@@ @@ -1128,24 +1128,34 @@ impl PassDefinitions { @@
             match token {
                 Some(TK::Plus) => Some(UO::Positive),
                 Some(TK::Minus) => Some(UO::Negative),
                 Some(TK::PlusPlus) => Some(UO::PreIncrement),
                 Some(TK::MinusMinus) => Some(UO::PreDecrement),
                 Some(TK::Tilde) => Some(UO::BitwiseNot),
                 Some(TK::Exclamation) => Some(UO::LogicalNot),
                 _ => None
+            }
+        }
         if let Some(operation) = parse_prefix_token(iter.next()) {
         let next = iter.next();
         if let Some(operation) = parse_prefix_token(next) {
             let span = iter.next_span();
             iter.consume();
             let expression = self.consume_prefix_expression(module, iter, ctx)?;
             Ok(ctx.heap.alloc_unary_expression(|this| UnaryExpression {
                 this, span, operation, expression,
                 this,
                 span,
                 operation,
                 expression,
                 parent: ExpressionParent::None,
                 unique_id_in_definition: -1,
             }).upcast())
         } else if next == Some(TokenKind::PlusPlus) {
             return Err(ParseError::new_error_str_at_span(
                 &module.source, iter.next_span(), "prefix increment is not supported in the language"
             ));
         } else if next == Some(TokenKind::MinusMinus) {
             return Err(ParseError::new_error_str_at_span(
                 &module.source, iter.next_span(), "prefix decrement is not supported in this language"
             ));
         } else {
             self.consume_postfix_expression(module, iter, ctx)
+        }
@@ @@ -1172,21 +1182,13 @@ impl PassDefinitions { @@
             iter.consume();
             if token == TokenKind::PlusPlus {
                 result = ctx.heap.alloc_unary_expression(|this| UnaryExpression{
                     this, span,
                     operation: UnaryOperator::PostIncrement,
                     expression: result,
                     parent: ExpressionParent::None,
                     unique_id_in_definition: -1,
                 }).upcast();
                 return Err(ParseError::new_error_str_at_span(
                     &module.source, span, "postfix increment is not supported in this language"
                 ));
             } else if token == TokenKind::MinusMinus {
                 result = ctx.heap.alloc_unary_expression(|this| UnaryExpression{
                     this, span,
                     operation: UnaryOperator::PostDecrement,
                     expression: result,
                     parent: ExpressionParent::None,
                     unique_id_in_definition: -1,
                 }).upcast();
                 return Err(ParseError::new_error_str_at_span(
                     &module.source, span, "prefix increment is not supported in this language"
                 ));
             } else if token == TokenKind::OpenSquare {
                 let subject = result;
                 let from_index = self.consume_expression(module, iter, ctx)?;

src/protocol/parser/pass_typing.rs

➞

Show inline comments

@@ @@ -1829,7 +1829,7 @@ impl PassTyping { @@
                 (progress_base || progress_expr, progress_base || progress_arg)
             },
-            UO::BitwiseNot | UO::PreIncrement | UO::PreDecrement | UO::PostIncrement | UO::PostDecrement => {
             UO::BitwiseNot => {
                 // Equal types of integer class
                 let progress_base = self.apply_template_constraint(ctx, upcast_id, &INTEGERLIKE_TEMPLATE)?;
                 let (progress_expr, progress_arg) =

0 comments (0 inline, 0 general)