[Flora-commits] SF.net SVN: flora2 commit:[1171] trunk

Revision: 1171
          http://sourceforge.net/p/flora/src/1171
Author:   kifer
Date:     2014-05-06 05:31:40 +0000 (Tue, 06 May 2014)
Log Message:
-----------
overhaul of builtin data types. in most cases they translate directly to datalog, which makes them much more uniformly integrated and efficient. Fixed problems with type variables.

Modified Paths:
--------------
    trunk/flora2/datatypes/flrdatatype.P
    trunk/flora2/datatypes/flrdatatype_parse.P
    trunk/flora2/docs/flora2-manual.tex
    trunk/flora2/flrcompiler.P
    trunk/flora2/flrincludes/flora_datatype_symbols.flh
    trunk/flora2/flrincludes/flora_errors.flh
    trunk/flora2/flrincludes/flora_terms.flh
    trunk/flora2/flrincludes/flora_var_attributes.flh
    trunk/flora2/flrparser.H
    trunk/flora2/flrparser.P
    trunk/flora2/flrporting.P
    trunk/flora2/flrsimpleprimitive.P
    trunk/flora2/flrutils.H
    trunk/flora2/flrutils.P
    trunk/flora2/lib/flrbasetype.flr
    trunk/flora2/lib/include/flrbasetype_double.flh
    trunk/flora2/lib/include/flrbasetype_iri.flh
    trunk/flora2/lib/include/flrbasetype_list.flh
    trunk/flora2/lib/include/flrbasetype_signatures.flh
    trunk/flora2/lib/include/flrbasetype_string.flh
    trunk/flora2/lib/include/flrbasetype_symbol.flh
    trunk/flora2/syslib/flrdelaysupport.P
    trunk/flora2/syslib/flrgateway.P
    trunk/flora2/syslib/flrunify_handlers.P
    trunk/flora2/version.flh
    trunk/flora2-testsuite/general_tests/basetypes_old
    trunk/flora2-testsuite/general_tests/compile_control.flr
    trunk/flora2-testsuite/general_tests/typelist_old
    trunk/flora2-website/release_notes.html