Skip to content
This repository has been archived by the owner on Feb 12, 2022. It is now read-only.

PP0009

Jump to bottom
Herman Venter edited this page Jun 21, 2017 · 3 revisions

unknown super class

The expression specifying the super class of this class declaration is an unknown value.

This makes it hard for Prepack to reason about the class and its instances.

To fix this, consider refining the environmental model to fully specify the super class.

Clone this wiki locally