The specification for mosaic:nif_loaded/0 states that the function might also return 'true' but the inferred return is 'false'
Как заткнуть здесь dialyzer, чтобы он просто согласился с моей оценкой реальности? Ведь эта функция будет перекрыта в нифке
По-идее должно помочь -dialyzer(). С указанием функции и соответствующего флага. Флаг не подскажу навскидку.
вот как раз с этими флагами то и большой вопрос. Вслепую тыкаться приходится
overspec/underspec?
Обсуждают сегодня