Permalink
Commits on Feb 22, 2018
  1. Add nested parameter test.

    skaller committed Feb 22, 2018
Commits on Feb 21, 2018
  1. Get rid of debug print.

    skaller committed Feb 21, 2018
Commits on Feb 20, 2018
  1. Simple nested params test now works. Fix composition order.

    skaller committed Feb 20, 2018
  2. Fix standard processing. All tests passing.

    skaller committed Feb 20, 2018
    (Except axiom checks which are programmed to assert out).
Commits on Feb 19, 2018
  1. Nested params: compiles, many tests run, a few assert

    skaller committed Feb 19, 2018
    fails in specific places. No tests for actual nested
    params yet.
Commits on Jan 28, 2018
  1. Add new form of class statement.

    skaller committed Jan 28, 2018
    class A;
    
    means
    
    class A { ....
    
    where the class ends at the end of the file
    or the next class X; statement. It can only
    be used at the top level.
Commits on Jan 16, 2018
  1. Make Felix work with Ocaml 4.06.0. Add -unsafe-string switch.

    skaller committed Jan 16, 2018
    Both the Felix and Fbuild build systems now compile
    with -unsafe-string switch so that, primarily,
    Dypgen continues to compile. It's unfortunate, this
    will break Ocamls less than 4.02 since they don't
    support that switch. Or Bytes for that matter.
    
    Fixing most of Felix and OCS Scheme library seem
    viable. However fixing Dypgen appears very hard
    because it mixes string and bytes types left right
    and centre due to the fact lexbufs are bytes
    but most of the other string processing would
    be the same.
    
    Garret changed Dypgen to use Bytes but it appears
    didn't test with -safe-string and the changes
    do not work with 4.06 where that is the default.
    A proper conversion involves looking at every
    case of mixed types and trying to figure out
    how to translate between them. Lexbufs are intrinsically
    mutable and should have used Buffer in the first place.
    Unfortunately string literals are type string and
    don't mix with bytes. HOF's have to choose one or
    the other. Converting lexbuf uses "to_string" is
    not acceptable since that would copy the whole buffer
    every access.
    
    Basically, Ocaml team screwed up very badly.
    A very stupid change.
Commits on Jan 11, 2018
  1. ardgghh

    skaller committed Jan 11, 2018
  2. Fix travis again.

    skaller committed Jan 11, 2018
  3. Change apt-get gcc-6 to just gcc for Travis.

    skaller committed Jan 11, 2018
  4. Enhanced C parser. Minor lib extras.

    skaller committed Jan 11, 2018
Commits on Jan 8, 2018
  1. Add a crude C tokeniser.

    skaller committed Jan 8, 2018
Commits on Jan 6, 2018
  1. Changex

    skaller committed Jan 6, 2018
  2. Merge branch 'testbranch'

    skaller committed Jan 6, 2018
  3. Change.

    skaller committed Jan 6, 2018
  4. Merge branch 'testbranch'

    skaller committed Jan 6, 2018
  5. Test.

    skaller committed Jan 6, 2018
  6. Test.

    skaller committed Jan 6, 2018
  7. Update vim syntax

    skaller committed Jan 6, 2018
Commits on Dec 30, 2017
  1. chain match

    skaller committed Dec 30, 2017
Commits on Dec 24, 2017
  1. Minor change.

    skaller committed Dec 24, 2017
Commits on Dec 22, 2017
  1. Added simple line graph function.

    skaller committed Dec 22, 2017
Commits on Dec 20, 2017
  1. x.+y is notation for Slice_from_counted

    skaller committed Dec 20, 2017
  2. Temporaril add an rfor construct.

    skaller committed Dec 20, 2017
    This construct is to test if we can fix a lot of the
    pain involved with closures created in loops which
    refer to data in the loop context which contains mutable
    variables. When invoked the closures capture
    the context which is a single frame containing the
    variable holding it final value.
    
    With the recursive implementation, the compiler creates
    a separate local frame for each iteration, unless it can
    determine that the self-tail call optimisation can be
    applied.
Commits on Dec 7, 2017
  1. Doc. [ci skip]

    skaller committed Dec 7, 2017
  2. Docs. [ci skip]

    skaller committed Dec 7, 2017
  3. docs [ci skip]

    skaller committed Dec 7, 2017
  4. Docs [ci skip]

    skaller committed Dec 7, 2017
  5. Docs. [ci skip]

    skaller committed Dec 7, 2017
  6. Docs [ci skip]

    skaller committed Dec 7, 2017
  7. Docs [ci skip]

    skaller committed Dec 7, 2017
Commits on Dec 6, 2017
  1. Coarray injections.

    skaller committed Dec 6, 2017
  2. Add repeated sum type, casearg operator.

    skaller committed Dec 6, 2017
Commits on Dec 3, 2017
  1. Fix bug where type variables were reversed.

    skaller committed Dec 3, 2017
Commits on Dec 1, 2017
  1. Propagate kinding information.

    skaller committed Dec 1, 2017