sparverius

#!/bin/bash

#
# Install script for acc
# acc is a pretty-printer for the ats compiler
# For more information about the project see: 
#    https://github.com/sparverius/ats-acc/blob/master/README.md
# 
# Script steps:
# - pull acc from repo https://github.com/sparverius/ats-acc

sparverius

// results in type error as expected

#include "share/atspre_staload.hats"

implement main0() = {
  val x = $list_vt{int}(1) 
}

sparverius

FROM telos/ats1:latest

RUN cd /tmp && wget https://raw.githubusercontent.com/sparverius/ATS-Postiats/master/share/SCRIPT/buildrel.sh
RUN cd /tmp && bash buildrel.sh 0.3.13 all

sparverius

FROM ubuntu:latest


RUN apt-get -qq update
RUN apt-get -qq install -y gcc make git wget time gawk \
    automake libgmp-dev libgc-dev libjson-c-dev unzip
RUN apt-get -y clean


WORKDIR /home

sparverius

# time (sh <(curl -ss -L https://gist.githubusercontent.com/sparverius/1a5750545fd023e65171377683af50fe/raw/b14ffd55ef91375b4d6f6242d38772d4988971bd/ats.sh))

TMPTGZ='https://github.com/sparverius/Temptory-Release/releases/download/0.0.2/ATS-Temptory-int-0.0.2.tgz'

echo "TMPTGZ = $TMPTGZ"

DIRNAME='ats-temptory'
TMPATH=${HOME}/"$DIRNAME"
DOTPRO=${HOME}/.profile

sparverius

#!/bin/bash

version=$1
text=$2
branch=$(git rev-parse --abbrev-ref HEAD)
repo_full_name=$(git config --get remote.origin.url | sed 's/.*:\/\/github.com\///;s/.git$//')
token=$(git config --global github.token)

generate_post_data()
{

sparverius

# (sh <(curl -sL https://gist.githubusercontent.com/sparverius/fe265920658f9d848f4502d7aeab0d50/raw/a50df9d058754cb31bca1bd8c6386120890d73b9/jupyter.sh))

_magicname='sparverius-jupyter-ats-kernel-d403ea2'

_magicdir=${HOME}/$_magicname

echo $PWD

cd ${HOME}

sparverius

# time (sh <(curl -ss -L https://gist.githubusercontent.com/sparverius/1a5750545fd023e65171377683af50fe/raw/b14ffd55ef91375b4d6f6242d38772d4988971bd/ats.sh))

TMPTGZ='https://github.com/sparverius/Temptory-Release/releases/download/0.0.2/ATS-Temptory-int-0.0.2.tgz'

echo "TMPTGZ = $TMPTGZ"

HOMEQ="/content"

DIRNAME='ats-temptory'
TMPATH=${HOMEQ}/"$DIRNAME"

sparverius

        if not _
        if ...
        if ...
        if ...
        for block in self._._():
            if ...
        for ...
            if _ is not None and not ...:
                while True:
                    if _ == self._:

sparverius

(* ****** ****** *)

#include
"share/atspre_staload.hats"
#include
"share/atspre_staload_libats_ML.hats"

(* ****** ****** *)

extern