update README

Qqwy · May 28, 2022 · 8ab6940 · 8ab6940
1 parent c458697
commit 8ab6940
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/README.md b/README.md
@@ -206,7 +206,7 @@ Details:
 
 ### Changelog
 - 0.11.0 - 
-  Additions:
+  - Additions:
     - Support for fancier map syntaxes:
       - `%{required(key_type) => value_type}` Maps with a single kind of required key-value type.
       - `%{optional(key_type) => value_type}` Maps with a single kind of optional key-value type.

diff --git a/lib/type_check/builtin.ex b/lib/type_check/builtin.ex
@@ -1220,6 +1220,9 @@ defmodule TypeCheck.Builtin do
   Also, the current property-generator will generate arbitrary PIDs, most of which
   will not point to alive processes.
   """
+  if_recompiling?() do
+    @spec! pid() :: TypeCheck.Builtin.PID.t()
+  end
   def pid() do
     build_struct(TypeCheck.Builtin.PID)
   end