Merge pull request #3 from nojaf/fix-surface-area

Non measure kinds are not measures.
nojaf · Jul 25, 2022 · 13a7955 · 13a7955
2 parents 5967828 + 080f98d
commit 13a7955
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/Compiler/Checking/CheckExpressions.fs b/src/Compiler/Checking/CheckExpressions.fs
@@ -4658,7 +4658,8 @@ and TcTupleType kindOpt cenv newOk checkConstraints occ env tpenv isStruct (args
         let isMeasure =
             match kindOpt with
             | Some TyparKind.Measure -> true
-            | None | Some _ -> args |> List.exists(function | TupleTypeSegment.Slash _ -> true | _ -> false)
+            | None -> args |> List.exists(function | TupleTypeSegment.Slash _ -> true | _ -> false)
+            | Some _ -> false
 
         if isMeasure then
             let ms,tpenv = TcMeasuresAsTuple cenv newOk checkConstraints occ env tpenv args m