Add support for SynType.Fun

src/Visp.Compiler/Parser.fsy

@@ -116,7 +116,7 @@ let mkRecoveryPat s = Syntax.parserRecoveryPat (lhs s)
 %nonassoc prec_syn_type_open
 
 
-%nonassoc OP_LESS OP_GREATER
+%nonassoc OP_LESS OP_GREATER THREAD_FIRST
 
 %nonassoc OP_MULT
 %nonassoc COLON
@@ -1126,6 +1126,8 @@ syn_type:
             SynType.Discard(lhs parseState)
         else
             SynType.Ident(Ident(text, lhs parseState)) }
+    | syn_type THREAD_FIRST syn_type %prec prec_syn_type_array
+        { SynType.Fun ($1, $3, lhs parseState) }
     | syn_type arrayTypeSuffixHelp %prec prec_syn_type_array
         { SynType.Array($2, $1, lhs parseState) }
     | syn_type OP_LESS syn_type OP_GREATER %prec prec_syn_type_generic

src/Visp.Compiler/Syntax/SynWriter.fs

@@ -514,7 +514,11 @@ module Write =
             writeInlineSpaceSeparated w writeSeg segs
 
             ()
-        | SynType.Fun _ -> failwithf "unsupported SynType: %A" typ
+        | SynType.Fun(arg, ret, _) ->
+            writeType w arg
+            string w " -> "
+            writeType w ret
+            ()
 
     and writeTypeHelp w _ = writeType w
 

tests/Visp.Compiler.UnitTests/ParsingTests.generated.fs

@@ -30,6 +30,11 @@ module ``tests_dot_dot-shorthands`` =
     [<Fact>]
     let ``can parse`` () = TestUtils.runTest "tests/dot/dot-shorthands.visp"
 
+[<VerifyXunit.UsesVerify>]
+module ``tests_pats_fn-1`` =
+    [<Fact>]
+    let ``can parse`` () = TestUtils.runTest "tests/pats/fn-1.visp"
+
 [<VerifyXunit.UsesVerify>]
 module ``tests_pats_fn-0`` =
     [<Fact>]

tests/Visp.Compiler.UnitTests/snapshots/tests_pats_fn-1.can parse.verified.txt

@@ -0,0 +1,25 @@
+// This file is auto-generated
+
+#nowarn "0020"  // unused results from functions
+
+open Visp.Runtime.Library
+
+let state = { Todo = () }
+// line 8 @"fn-1.visp"
+let WithPred (pred: ('T -> bool)) t =
+  // line 9 @"fn-1.visp"
+  pred t
+
+// line 11 @"fn-1.visp"
+printfn "WithPred: %A" (WithPred ((fun arg1 ->
+  // line 11 @"fn-1.visp"
+  CoreMethods.``eq?``(arg1, 1))) 1)
+// line 12 @"fn-1.visp"
+printfn "WithPred: %A" (WithPred ((fun arg1 ->
+  // line 12 @"fn-1.visp"
+  CoreMethods.``eq?``(arg1, 1))) 0)
+// line 14 @"fn-1.visp"
+let visp_result_todo = ()
+// line 14 @"fn-1.visp"
+printfn "%A" visp_result_todo
+

tests/Visp.ExecutionTests/ExecutionTests.generated.fs

@@ -30,6 +30,11 @@ module ``tests_dot_dot-shorthands`` =
     [<Fact>]
     let ``can execute`` () = TestUtils.runTest "tests/dot/dot-shorthands.visp"
 
+[<VerifyXunit.UsesVerify>]
+module ``tests_pats_fn-1`` =
+    [<Fact>]
+    let ``can execute`` () = TestUtils.runTest "tests/pats/fn-1.visp"
+
 [<VerifyXunit.UsesVerify>]
 module ``tests_pats_fn-0`` =
     [<Fact>]

tests/Visp.ExecutionTests/snapshots/tests_pats_fn-1.can execute.verified.txt

@@ -0,0 +1,5 @@
+WithPred: true
+WithPred: false
+()
+
+ExitCode: 0

visp/tests/pats/fn-1.visp

@@ -0,0 +1,14 @@
+;; Copyright 2023 Ville Penttinen
+;; Distributed under the MIT License.
+;; https://github.com/vipentti/visp-fs/blob/main/LICENSE.md
+;;
+;; for basic syntax highlighting
+;; vim: set syntax=clojure:
+
+(fn WithPred ([pred: (^T -> bool)] t)
+  (pred t))
+
+(printfn "WithPred: %A" (WithPred #(= %1 1) 1))
+(printfn "WithPred: %A" (WithPred #(= %1 1) 0))
+
+()