Parsing combinators for on-line use

I wrote a simple parsing combinator package for various atsccomp compilers (e.g., atscc2js, atscc2py3): https://github.com/githwxi/ATS-Postiats-contrib/blob/master/contrib/libatscc/SATS/BUCS320/parcomb.sats It is pretty convenient for parsing simply formatted input. Here is an example where

Re: [ats-lang-users] ATS2-0.2.12 released

Hi Yannick, Thanks for your interest and well-wishes! I can tell that the JavaScript code you wrote for displaying/formating the two ATS books helped many people learn ATS, and especially those students who took my classes. Cheers! On Wednesday, November 30, 2016 at 4:08:17 PM UTC-5, Yannick

Re: [ats-lang-users] ATS2-0.2.12 released

I think I have fixed the issue. Please delete ATS2-contrib and try again. On Friday, December 2, 2016 at 1:55:43 PM UTC-5, Yannick Duchêne wrote: > > Installing the updated version using `C9-ATS2-install.sh`, I got this > error: > > cat: output/DATS/ML/list0_dats.php: Aucun fichier ou dossier

Re: [ats-lang-users] ATS2-0.2.12 released

Installing the updated version using `C9-ATS2-install.sh`, I got this error: cat: output/DATS/ML/list0_dats.php: Aucun fichier ou dossier de ce type cat: output/DATS/ML/array0_dats.php: Aucun fichier ou dossier de ce type « Aucun fichier ou dossier de ce type » means “No such file or