Re: staload, paths, and infix operators

2018-04-04 Thread gmhwxi
I could not figure out why the support for -IATS was disabled. I have just re-enable it. This change should go into the next release. On Tuesday, April 3, 2018 at 2:20:46 PM UTC-4, gmhwxi wrote: > > > >>Did this actually change, ... > > Yes, it did. I took a look at the source code of

Re: staload, paths, and infix operators

2018-04-03 Thread gmhwxi
>>Did this actually change, ... Yes, it did. I took a look at the source code of ATS-Postiats. The option -IATS seems to have been disabled. I will try to find more on this. >>Would I need to#include these if I chose to share them between files? My own practice is to put infix declarations in

staload, paths, and infix operators

2018-04-02 Thread M88
I have two questions... The first is that path resolution seems to have changed from ATS2 0.3.7 and 0.3.9. I used to be able to write 'staload "sats/foo.sats"' in "dats/foo.dats" and running patscc from the project root would find the file. Now it seems I need to write 'staload