Open jzhang-gp opened 5 years ago
This might be the best time to clean up the properties that were used. I don't think the properties is the best way of auto initializing those attributes and think they should all be moved to the init, similar to what you just proposed :)
Originally posted by @cchoquette in https://github.com/georgianpartners/foreshadow/pull/154
This might be the best time to clean up the properties that were used. I don't think the properties is the best way of auto initializing those attributes and think they should all be moved to the init, similar to what you just proposed :)
Originally posted by @cchoquette in https://github.com/georgianpartners/foreshadow/pull/154