detect bug

Author: jmmut

interpreter/src/backend/evaluate.rs

@@ -1254,7 +1254,7 @@ mod tests {
     #[test]
     fn test_loop_3_times() {
         let (result, print_output) = interpret_io(
-            "0 =i;{}|loop {i +1 =>i |core/inspect(x) {x |to_str |print} =? 3 |branch {i}{}} :i64",
+            "0 =i;{}|loop {i +1 =>i |`core/inspect (x) {|to_str |print} =? 3 |branch {i}{}} :i64",
             "",
         );
         assert_eq!(result, 3);
@@ -1424,7 +1424,7 @@ mod tests {
     // const INSPECT: &str =
     //     ";macro(input  t: types  c :chain) {|function t c ;input} =m_inspect";
     // const INSPECT: &str = ";macro(input  t: pnode  c :pnode) {|function t c ;input} =m_inspect";
-    const INSPECT: &str = ";public function(input  t  c) {|function[t c] ;input} =m_inspect";
+    const INSPECT: &str = ";public macro(input  t  c) {|function[t c] ;input} =m_inspect";
     #[test]
     fn test_inspect() {
         assert_eq!(

interpreter/src/common.rs

@@ -59,6 +59,22 @@ pub fn err_span<T, S: AsRef<str>>(
     .into())
 }
 #[track_caller]
+pub fn bug_span<T, S: AsRef<str>>(
+    error_message: S,
+    code: &SourceCode,
+    span: Span,
+) -> Result<T, AnyError> {
+    // place your breakpoints here
+    let caller_location = std::panic::Location::caller();
+    Err(format!(
+        "\n{}:\nBug: {}{}",
+        caller_location,
+        error_message.as_ref(),
+        code.format_span(span)
+    )
+    .into())
+}
+#[track_caller]
 pub fn err_since<T, S: AsRef<str>>(
     error_message: S,
     code: &SourceCode,

interpreter/src/middleend/typing.rs

@@ -1,7 +1,7 @@
 use std::collections::HashMap;
 use strum::IntoEnumIterator;
 
-use crate::common::{context, err, err_span, maybe_format_span, AnyError};
+use crate::common::{bug, bug_span, context, err, err_span, maybe_format_span, AnyError};
 use crate::frontend::expression::display::typed_identifiers_to_str;
 use crate::frontend::expression::{
     is_macro, Branch, Browse, BrowseOr, Chain, Composed, Comptime, Expression, ExpressionSpan,
@@ -556,7 +556,11 @@ impl<'a> Typer<'a> {
                 Ok(Operation::single(operator, typed_operand, type_))
             }
             Operator::Call => self.get_call_type(input, operands, operator.span),
-            Operator::MacroCall => unimplemented!(),
+            Operator::MacroCall => bug_span(
+                "macro calls should not reach the typing stage. Macro call",
+                self.sources.get_main(),
+                operator.span,
+            ),
             Operator::Get => {
                 let array = list_any();
                 let unified_input = self.is_castable_to(input, &array, operator)?;

pipes_programs/corelib/core.pipes

@@ -39,4 +39,10 @@
 }
 =inspect
 
+;{
+    ;10 =var
+    ;3 |`inspect (_) {+1 =>var} |assert/eq 3
+    ;var |assert/eq 4
+}
+
 ;