Duh

FStarLang · Nov 21, 2024 · eed95a5 · eed95a5
1 parent 44c9997
commit eed95a5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lib/MonomorphizationState.ml b/lib/MonomorphizationState.ml
@@ -7,7 +7,7 @@ let resolve t: typ =
   match t with
   | TApp _ | TCgApp _ when
       let lid, ts, cgs = flatten_tapp t in
-      ts <> [] && cgs <> [] &&
+      (ts <> [] || cgs <> []) && (* not a type abbreviation *)
       Hashtbl.mem state (lid, ts, cgs)
   ->
       TQualified (snd (Hashtbl.find state (flatten_tapp t)))