From 58c20971ba141e264b1f535c355a8415ac0496ab Mon Sep 17 00:00:00 2001
From: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date: Tue, 9 Oct 2018 11:28:52 +0200
Subject: [PATCH] Add test for #5745

---
 .../Named/E_ActivePatternHasNoFields.fs             | 13 +++++++++++++
 .../Conformance/PatternMatching/Named/env.lst       |  1 +
 2 files changed, 14 insertions(+)
 create mode 100644 tests/fsharpqa/Source/Conformance/PatternMatching/Named/E_ActivePatternHasNoFields.fs

diff --git a/tests/fsharpqa/Source/Conformance/PatternMatching/Named/E_ActivePatternHasNoFields.fs b/tests/fsharpqa/Source/Conformance/PatternMatching/Named/E_ActivePatternHasNoFields.fs
new file mode 100644
index 000000000000..09cf78bec16a
--- /dev/null
+++ b/tests/fsharpqa/Source/Conformance/PatternMatching/Named/E_ActivePatternHasNoFields.fs
@@ -0,0 +1,13 @@
+// #Regression #Conformance #PatternMatching #ActivePatterns 
+// Regression test for https://github.com/Microsoft/visualfsharp/issues/5745
+//<Expects status="error id="FS3174">Active patterns do not have fields. This syntax is invalid\.</Expects>
+open System.Text.RegularExpressions
+
+let (|USZipPlus4Code|_|) s =
+    let m = Regex.Match(s, @"^(\d{5})\-(\d{4})$")
+    if m.Success then
+        USZipPlus4Code(x=m.Groups.[1].Value, 
+                       y=m.Groups.[2].Value)
+        |> Some
+    else
+        None
diff --git a/tests/fsharpqa/Source/Conformance/PatternMatching/Named/env.lst b/tests/fsharpqa/Source/Conformance/PatternMatching/Named/env.lst
index f71447b925fd..63f5a897cb78 100644
--- a/tests/fsharpqa/Source/Conformance/PatternMatching/Named/env.lst
+++ b/tests/fsharpqa/Source/Conformance/PatternMatching/Named/env.lst
@@ -26,6 +26,7 @@
 
 	SOURCE=E_ActivePatterns01.fs		# E_ActivePatterns01.fs
 	SOURCE=E_ActivePatterns02.fs		# E_ActivePatterns02.fs
+	SOURCE=E_ActivePatternHasNoFields.fs		# E_ActivePatternHasNoFields.fs
 	SOURCE=E_ParameterRestrictions01.fs	# E_ParameterRestrictions01.fs	
 
  	SOURCE=MultiActivePatterns01.fs		# MultiActivePatterns01.fs