Permalink
Switch branches/tags
Commits on Nov 26, 2010
Commits on Nov 15, 2010
  1. Simplify META file.

    samoht committed Nov 15, 2010
  2. Fix install

    samoht committed Nov 15, 2010
  3. Update README

    samoht committed Nov 15, 2010
  4. Clean-ups

    samoht committed Nov 15, 2010
  5. Update working version

    samoht committed Nov 15, 2010
  6. Update NEWS

    samoht committed Nov 15, 2010
Commits on Nov 3, 2010
  1. Fix typo in previous commit

    samoht committed Nov 3, 2010
  2. Cleanify p4_type

    samoht committed Nov 3, 2010
  3. fix typo in previous commit.

    samoht committed Nov 3, 2010
  4. Bump working version to 0.8.0

    samoht committed Nov 3, 2010
  5. First step to make dyntype a bit more precise about the underlying ty…

    samoht committed Nov 3, 2010
    …pes.
    
    So now, lists and arrays are not the same anymore -- this is a major breaking change for the API.
Commits on Nov 2, 2010
  1. Add an experimental support to qualified type names for dyntype. Not …

    samoht committed Nov 2, 2010
    …sure what's the right semantics to have at the moment ...
  2. tab -> spaces

    samoht committed Nov 2, 2010
  3. Fix order of variants in a sum type.

    samoht committed Nov 2, 2010
    Patch from william.le-ferrand@polytechnique.edu
Commits on May 18, 2010
  1. Fix merge problem ...

    Thomas Gazagnaire committed May 18, 2010
  2. Merge branch 'master' of github.com:mirage/dyntype

    Thomas Gazagnaire committed May 18, 2010
    Conflicts:
    	NEWS
    	lib_test/test_value.ml
  3. Update NEWS file

    Thomas Gazagnaire committed May 18, 2010
  4. As said in the previous commit, value_of_* should now always give the…

    Thomas Gazagnaire committed May 18, 2010
    … same result for a given
    
    value, so replace Value.equal by = in the tests.
  5. Simplify the customization of ID generator.

    Thomas Gazagnaire committed May 18, 2010
    Now P4_value.gen takes 2 optional arguments: one is the body of the ID generator which will be
    inlined in the function definition; the other is a tuple value*type of a seed used by the ID
    generator body, which will be passed to each recursive calls to value_of_* (for all the foreign
    types).
    
    The byproduct is that now, value_of_* should be constant (ie. the generated ID should all start
    from the same number), and thus we can use = instead of Value.equal which was doing an equality
    check modulo alpha-conversion of the IDs.
Commits on May 17, 2010
  1. map missing dictionary values to Null, so that they will later be map…

    avsm committed with samoht Apr 20, 2010
    …ped to None if the key is an option type
  2. add ocamljava Makefile support

    avsm committed with samoht Mar 22, 2010
  3. bump trunk to 0.7.2 working version

    avsm committed with samoht Mar 12, 2010
Commits on Apr 20, 2010
  1. map missing dictionary values to Null, so that they will later be map…

    avsm committed Apr 20, 2010
    …ped to None if the key is an option type