mirror of
https://github.com/coot/free-category.git
synced 2024-07-14 17:30:24 +03:00
20d61b2355
* Efficient representation of free category Using type aligned real time queues (Okasaki, 'Purely Functional Data Structures') to represent catanable type allign lists (free categories). Composition is O(1) and right fold is O(n), where n is number of transitions. * Bump version to 0.0.3 Make it compile on ghc802. * Updated CI configuration
35 lines
1.5 KiB
YAML
35 lines
1.5 KiB
YAML
language: nix
|
|
script:
|
|
- nix-env -iA cachix -f https://github.com/NixOS/nixpkgs/tarball/1d4de0d552ae9aa66a5b8dee5fb0650a4372d148
|
|
- echo "trusted-users = root ${USER}" | sudo tee -a /etc/nix/nix.conf || true
|
|
- sudo pkill nix-daemon || true
|
|
- cachix use free-algebras
|
|
- nix-build --arg dev true -A free-category --argstr compiler $COMPILER
|
|
- cachix push free-algebras ./result
|
|
matrix:
|
|
include:
|
|
- name: ghc865
|
|
env: COMPILER="ghc865"
|
|
- name: ghc844
|
|
env: COMPILER="ghc844"
|
|
- name: ghc822
|
|
env: COMPILER="ghc822"
|
|
- name: ghc802
|
|
env: COMPILER="ghc802"
|
|
|
|
# - name: ghc861
|
|
# env: COMPILER="ghc861"
|
|
# os: osx
|
|
- name: ghc844
|
|
env: COMPILER="ghc844"
|
|
os: osx
|
|
# - name: ghc822
|
|
# env: COMPILER="ghc822"
|
|
# os: osx
|
|
- name: ghc802
|
|
env: COMPILER="ghc802"
|
|
os: osx
|
|
env:
|
|
global:
|
|
secure: ecJWxKZzeiSkp5WDSbQqcCnBOqsyXrdW+q+xqiNU39BVLpkTSFs3+F+UYL9f+dOSJEsSzKk4H2ELJgKIWvADsugJw2sm6QCx29ONO8v/K6YZj5srT7zUyqYcaSWnyYhEBfG3szm2fPkFLye5sOSUQ1TZY5GQLWiUS8cepx9YqtFDe5T7ynRHX9SsKwFj2cJXr4jju+x/5RSzGhgq5rCr5TlA0lMLZsz/K2nSheRfaPelFVQDBMHfepXl/U4w8WpdKEbep1zNiuGUGDcwytQ6lA8inA58maOk13O4/Zo5qmDXM0U2iLr6jOe1Y8orfcxoiVuXfbzGDmI+EEJaXd9uxSqd6/jol5/k9Bp1WdG7azRYC8fu0YMTtlKQ3pcUQApp17fm9RkboIJOHYXEcBljJk3tZdJKx/6cY9/i7kBbVrglZhUOLz5YllxIXwzHQXsiQMb4O+7JNGUo6fRcDKS8YKACDgkiPRoV1s2ills8bI9lY6sSS85WbyQzhCsi6LmZdDIaSRpcTJ8Q41+qiiI+DbLuA8CauZLJfSTgjMRXL+ugv0dZ4jGhlVEqrb4X/Je9+0J4Vy3SmtcN0o2HzaNp8pcnZkwPUn4z9p7IU05P7eT1RGwWGxiN8dBrpeexiZbMDZzDj/XrC5zEyvz6eV/xKSXEDMCJsjuWg4YQR+m8cQs=
|