fix: Error when missing reduce

src/compiler/common.rs

@@ -183,6 +183,10 @@ impl Intrinsic {
         Ok(Node::from_expr(self.raw_call(args)))
     }
 
+    pub fn unchecked_call(self, args: &[Node]) -> Result<Node> {
+        Ok(Node::from_expr(self.raw_call(args)))
+    }
+
     pub fn raw_call(self, args: &[Node]) -> Expression {
         Expression::Funcall {
             func: self,

src/compiler/generator.rs

@@ -263,9 +263,17 @@ impl FuncVerifier<Node> for Intrinsic {
             Intrinsic::Add
             | Intrinsic::Sub
             | Intrinsic::Mul
+            | Intrinsic::Neg
+            | Intrinsic::Normalize
             | Intrinsic::VectorAdd
             | Intrinsic::VectorSub
-            | Intrinsic::VectorMul => {}
+            | Intrinsic::VectorMul => {
+                for (i, arg) in args.iter().enumerate() {
+                    if arg.is_list() {
+                        bail!("unexpected list operand for {}", self.to_string())
+                    }
+                }
+            }
             Intrinsic::Begin => {
                 // TODO: maybe?
                 // if args_t
@@ -1316,9 +1324,9 @@ fn apply_form(
                 | Expression::Funcall { .. }
                 | Expression::Const(_) => panic!(),
                 Expression::List(xs) => {
-		    if xs.is_empty() {
+                    if xs.is_empty() {
                         Ok(Some(body))
-		    } else if xs.len() == 1 {
+                    } else if xs.len() == 1 {
                         Ok(Some(xs[0].clone()))
                     } else {
                         let mut r = apply_function(
@@ -1703,6 +1711,11 @@ pub(crate) fn reduce_toplevel(
             let body = if let Some(guard) = guard {
                 let guard_expr = reduce(guard, &mut ctx, settings)?
                     .with_context(|| anyhow!("guard `{:?}` is empty", guard))?;
+                // Sanity check guard does not do strange things.
+                if !guard_expr.is_atomic() {
+                    bail!("unexpected non-atomic guard in {}", handle.pretty())
+                }
+                // Sanity check guard has the expected type.
                 match guard_expr.t().c() {
                     Conditioning::Loobean => {
                         bail!("unexpected loobean guard in {}", handle.pretty())
@@ -1722,12 +1735,12 @@ pub(crate) fn reduce_toplevel(
                 // controlled exceptions to the usual loobean typing rules
                 let body_type = body.t();
                 Intrinsic::Mul
-                    .call(&[persp_guard, body])?
+                    .unchecked_call(&[persp_guard, body])
+                    .with_context(|| anyhow!("constraint {}", name))?
                     .with_type(body_type)
             } else {
                 body
             };
-
             if body.t() == Type::Void {
                 warn!(
                     "constraint {} should be of type {}, found {}",

src/compiler/node.rs

@@ -371,6 +371,50 @@ impl Node {
     pub fn is_exocolumn(&self) -> bool {
         matches!(self.e(), Expression::ExoColumn { .. })
     }
+    /// Determine whether this expression is a list or not.
+    pub fn is_list(&self) -> bool {
+        match self.e() {
+            // Obvious fails
+            Expression::List(_) => true,
+            Expression::Funcall { func, .. } => match func {
+                Intrinsic::Begin => true,
+                _ => false,
+            },
+            _ => false,
+        }
+    }
+    /// Determines whether this expression is "atomic" or not.  An
+    /// atomic expression is one which is never split into two or more
+    /// expressions.  For example, an expression containing an
+    /// if-then-else conditional is not atomic, as it will split into
+    /// (at least) two expressions.  Likewise, an expression
+    /// containing a list is not considered atomic.
+    pub fn is_atomic(&self) -> bool {
+        match self.e() {
+            // Obvious fails
+            Expression::List(_) => false,
+            Expression::Void => false,
+            // Obvious passes
+            Expression::Const(_) => true,
+            Expression::Column { .. }
+            | Expression::ExoColumn { .. }
+            | Expression::ArrayColumn { .. } => true,
+            // Other
+            Expression::Funcall { func, args } => match func {
+                Intrinsic::Begin => false,
+                Intrinsic::IfZero if args.len() > 2 => false,
+                Intrinsic::IfNotZero if args.len() > 2 => false,
+                _ => {
+                    for arg in args {
+                        if !arg.is_atomic() {
+                            return false;
+                        }
+                    }
+                    true
+                }
+            },
+        }
+    }
     pub fn e(&self) -> &Expression {
         &self._e
     }