Commits on Jun 27, 2013
Commits on May 31, 2013
Commits on May 13, 2013
  1. Fix "variable 'Type' shadowed in 'fun'" warning.

    Rewrite a block that was causing a "variable 'Type' shadowed in 'fun'"
    warning when compiling with warnings turned on.  This is odd code anyway --
    the fun(Type) ... end(Type) looks redundant to me.
    ewanmellor committed May 13, 2013
Commits on Apr 25, 2013
Commits on Apr 15, 2013
Commits on Feb 14, 2013
Commits on Dec 7, 2012
Commits on Nov 13, 2012
Commits on Aug 16, 2012
  1. Add missing apps to the PLT

    essen committed Aug 16, 2012
  2. Fix dialyzer warning

    Thanks go to Kostis Sagonas.
    essen committed Aug 16, 2012
  3. Fixed 'make dialyze'

    Reported by Zabrane Mickael.
    essen committed Aug 16, 2012
Commits on Jul 9, 2012
  1. Update version to 0.4.1

    essen committed Jul 9, 2012
Commits on Jul 7, 2012
  1. Add support for annotated types

    essen committed Jul 7, 2012
Commits on May 22, 2012
  1. Bump version to 0.4.0

    Loïc Hoguin committed May 22, 2012
  2. Add an example for records

    Loïc Hoguin committed May 22, 2012
  3. Fix records type checking and related compilation issues

    Loïc Hoguin committed May 22, 2012
Commits on Feb 16, 2012
  1. Add sheriff:check(Var, "list(mytype())") notation

    This allows us to inline any type directly as a string.
    Loïc Hoguin committed Feb 16, 2012
  2. Add missing arity/0 and bitstring/0 types

    Also rework the all/0 type in the tests to include more type
    examples and other missing types.
    Loïc Hoguin committed Feb 16, 2012
Commits on Feb 13, 2012
  1. Reworking and near-completion of the sheriff parse_transform

    Along with all these changes comes a pretty complete test suite.
    Loïc Hoguin committed Feb 12, 2012
Commits on Nov 7, 2011
  1. Merge pull request #16 from hamza-mahmood/master

    corrects the "apply/2" problem
    Loïc Hoguin committed Nov 7, 2011
Commits on Oct 22, 2011
  1. sheriff_dynamic_generator: code sort and remaining definitions added

    The code is now organised as the type doc. Build-in types have been added
    M committed Oct 22, 2011
  2. sheriff_static_generator: you can pass variable from one type to anot…

    …her one
    Now you can do things like:
    -type a(A) :: [A].
    -type b(X) :: a(X).
    ...  sheriff:check(parameter,b(integer())) ...
    which will test if parameter is a list of integers.
    M committed Oct 22, 2011
Commits on Oct 6, 2011
Commits on Sep 28, 2011
  1. sheriff: some changens in order to find the module name & exporting t…

    All functions that are build with the sheriff module are exported (because
    it's needed)
    M committed Sep 28, 2011
  2. sheriff_dynamic_generator: A new parameter added to functions: _Module

    This parameter keep the name of module from wich the type def used is
    type's parameter are comming from (when there is no syntax like
    module:type_name, but just type_name).
    Spec has also been corrected
    It was done using:
    sed -i -e "s/find_f(/find_f(_Module,/g" sheriff_dynamic_generator.
    M committed Sep 28, 2011
  3. sheriff_string_generator: two function added

    Two functions has been added in order to save and get a module name
    M committed Sep 28, 2011
  4. sheriff_check_call: functions are called with a new parameter:_Module

    The new parameter added allows to now from which module does a type come
    from, when a type name is given in a parameter of a type definition
    M committed Sep 28, 2011
Commits on Sep 23, 2011
Commits on Sep 22, 2011
  1. Merge remote-tracking branch 'hamza/master'

    Loïc Hoguin committed Sep 22, 2011
Commits on Sep 10, 2011
  1. sheriff_static_generator: some changes

    -"dynamic" code has been removed
    -negative integer have been added
    -some "useless" functionss has been removed
    M committed Sep 10, 2011