Open jcowey opened 6 years ago
xsugar (https://github.com/DCLP/xsugar/tree/issue335) https://github.com/DCLP/xsugar/commit/e224606054e22784518ef9edb44c236a11b10f77 https://github.com/DCLP/xsugar/commit/de1708d823d6d14b75a79b7ab6e576279fc5216a
idp.data (https://github.com/DCLP/idp.data/tree/issue335) https://github.com/DCLP/idp.data/commit/73ebfe0488160ca5eec17e3812e374905d2c0be7
In https://github.com/DCLP/xsugar/blob/master/commentary.xsg#L120-L124
change type to unit
deploy so that it can be tested.
Then change type to unit in https://github.com/DCLP/idp.data/blob/master/DCLP/62/61916.xml
load in the editor and see whether it works