This refactors and adds types to most of alicorn. Some types cannot be resolved, as lua generics are mostly broken, but as much type information as possible is preserved.
Most of the remaining type errors that the annotations raise are either due to dynamic fields that can't be typed properly, a missing pretty-printer function that might have to be added, or legitimate type issues.
I have added comments in all places where I think legitimate type errors are happening.
This refactors and adds types to most of alicorn. Some types cannot be resolved, as lua generics are mostly broken, but as much type information as possible is preserved.
Most of the remaining type errors that the annotations raise are either due to dynamic fields that can't be typed properly, a missing
pretty-printerfunction that might have to be added, or legitimate type issues.I have added comments in all places where I think legitimate type errors are happening.