Support applying a value to an inline function

Author: joefreeman

quiver-compiler/src/compiler.rs

@@ -1293,12 +1293,15 @@ impl<'a> Compiler<'a> {
                 self.compile_block(block, block_parameter, None)
             }
             ast::Term::Function(func) => {
-                if value_type.is_some() {
-                    return Err(Error::FeatureUnsupported(
-                        "Function cannot be applied to value".to_string(),
-                    ));
+                // Compile the function itself
+                let function_type = self.compile_function(func)?;
+
+                // If a value is being piped to it, apply the value
+                if let Some(val_type) = value_type {
+                    self.apply_value_to_type(function_type, val_type)
+                } else {
+                    Ok(function_type)
                 }
-                self.compile_function(func)
             }
             ast::Term::Access(access) => {
                 match &access.identifier {

quiver-tests/tests/functions.rs

@@ -165,3 +165,10 @@ fn test_function_parameter_contravariance() {
         "#,
     );
 }
+
+#[test]
+fn test_apply_value_to_inline_function() {
+    quiver()
+        .evaluate("5 ~> #int { ~> [~, 2] ~> <add> }")
+        .expect("7");
+}