fix #35

thautwarm · Feb 3, 2019 · 4c8fac2 · 4c8fac2
1 parent 7f4c7bc
commit 4c8fac2
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/src/Pervasives.jl b/src/Pervasives.jl
@@ -4,6 +4,7 @@ using MLStyle.Infras
 using MLStyle.Extension
 using MLStyle.Err
 using MLStyle.toolz: ($), isCase
+
 import MLStyle.Infras: mk_gapp_pattern
 
 @use GADT
@@ -15,8 +16,10 @@ function mk_pat_by(f)
      end
 end
 
+const strict_eq_types = @static VERSION < v"1.1.0" ? Union{Int, Nothing} : Union{Int, String, Nothing}
+
 def_pattern(Pervasives,
-        predicate = x -> x isa Union{Int, String, Nothing},
+        predicate = x -> x isa strict_eq_types,
         rewrite = mk_pat_by(===)
 )