Fsharp

.vscode/launch.json

@@ -3,16 +3,17 @@
 // Hover to view descriptions of existing attributes.
 // For more information, visit: https://go.microsoft.com/fwlink/?linkid=830387
 {
-	"version": "0.2.0",
+    "version": "0.2.0",
     "configurations": [
         {
             "name": "Extension",
             "type": "extensionHost",
             "request": "launch",
             "runtimeExecutable": "${execPath}",
             "args": [
-                "--extensionDevelopmentPath=${workspaceFolder}"
+                "--extensionDevelopmentPath=${workspaceFolder}",
+                "${workspaceFolder}/examples/"
             ]
         }
     ]
-}
+}

examples/example.fs

@@ -0,0 +1,39 @@
+namespace Example
+
+open System
+open System.IO
+
+module Option =
+  let ofEmpty (str: string) =
+    if String.IsNullOrEmpty str then None else Some str
+
+module Util =
+  let flip f a b = f b a
+  let joinPath a b = Path.Combine(a, b)
+
+  let getEnv a =
+    Option.ofEmpty
+    <| Environment.GetEnvironmentVariable a
+
+module Program =
+  open Util
+
+  let mapping = flip joinPath ".config\\"
+
+  let fallback =
+    Environment.GetEnvironmentVariable "USERPROFILE"
+    |> Option.ofEmpty
+    |> Option.map (flip joinPath ".config\\")
+
+  let configDir =
+    List.pick id
+    <| [ getEnv "One"
+         getEnv "Two"
+         getEnv "Three" |> Option.map mapping
+         getEnv "Four" |> Option.map mapping
+         fallback ]
+
+  [<EntryPoint>]
+  let main argv =
+    printfn "config: %s" configDir
+    0 // return an integer exit code

themes/LaserWave-color-theme.json

@@ -113,7 +113,8 @@
                 "storage.modifier.dart",
                 "keyword.declaration.dart",
                 "keyword.package.go",
-                "keyword.import.go"
+                "keyword.import.go",
+                "keyword.fsharp"
             ],
             "settings": {
                 "foreground": "#40b4c4"
@@ -133,7 +134,8 @@
                 "support.function.go",
                 "support.function.console.js",
                 "support.function.dom.js",
-                "support.function"
+                "support.function",
+                "binding.fsharp"
             ],
             "settings": {
                 "foreground": "#EB64B9"
@@ -271,17 +273,15 @@
                 "punctuation.separator.period.java",
                 "punctuation.other.period.go",
                 "punctuation.dot.dart",
+                "keyword.symbol.fsharp"
             ],
             "settings": {
                 "foreground": "#74dfc4"
             }
         },
         {
             "name": "comment",
-            "scope": [
-                "comment",
-                "punctuation.definition.comment"
-            ],
+            "scope": ["comment", "punctuation.definition.comment"],
             "settings": {
                 "foreground": "#91889b"
             }
@@ -323,7 +323,8 @@
                 "variable.other.property.js",
                 "variable.other.property.ts",
                 "support.variable.property.dom.js",
-                "support.variable.property.js"
+                "support.variable.property.js",
+                "variable.parameter.fsharp"
             ],
             "settings": {
                 "foreground": "#40b4c4"
@@ -352,7 +353,8 @@
                 "variable.other.constant.ruby",
                 "constant.other.elm",
                 "support.constant.automatic.powershell",
-                "variable.language.dart"
+                "variable.language.dart",
+                "entity.name.section.fsharp"
             ],
             "settings": {
                 "foreground": "#ffe261"
@@ -382,13 +384,14 @@
         },
         {
             "name": "annotations",
-            "settings": {
-                "foreground": "#74dfc4",
-            },
             "scope": [
                 "storage.type.annotation",
-                "punctuation.definition.annotation"
-            ]
+                "punctuation.definition.annotation",
+                "support.function.attribute.fsharp"
+            ],
+            "settings": {
+                "foreground": "#74dfc4"
+            }
         },
         {
             "name": "Types",
@@ -410,18 +413,16 @@
                 "keyword.function.go",
                 "keyword.struct.go",
                 "storage.modifier.async.js",
-                "support.class.dart"
+                "support.class.dart",
+                "entity.name.type.fsharp"
             ],
             "settings": {
                 "foreground": "#a96bc0"
             }
         },
         {
             "name": "Highlights",
-            "scope": [
-                "markup.bold",
-                "markup.italic"
-            ],
+            "scope": ["markup.bold", "markup.italic"],
             "settings": {
                 "foreground": "#EB64B9"
             }
@@ -444,4 +445,4 @@
             }
         }
     ]
-}
+}

themes/LaserWave-italic-color-theme.json

@@ -45,7 +45,8 @@
                 "storage.modifier.dart",
                 "keyword.declaration.dart",
                 "keyword.package.go",
-                "keyword.import.go"
+                "keyword.import.go",
+                "keyword.fsharp"
             ],
             "settings": {
                 "foreground": "#40b4c4",
@@ -68,4 +69,4 @@
             }
         }
     ]
-}
+}