git.iko.soy/project-m36
on c0554e0 help sign in
project-m36/ProjectM36
6 folders, 28 files
../ AtomFunctions/WIP: lots of refactoring for new constructed atom types and primitive types separation DataTypes/WIP: type inference -non-compilation checkpoint Relation/test compilation checkpoint Server/test compilation checkpoint Transaction/all tests passing now TransactionGraph/all tests passing now Atom.hsWIP: type inference -non-compilation checkpoint AtomFunction.hsadd basic atom functions: count, min, max AtomType.hsallow atomTypeForAtom to pass back invalid type var map which is resolved later Attribute.hsWIP: much refactoring for Atom existential quantification change AttributeNames.hsimprove error handling for "all but" attributes inversion Base.hsreduce useless gassiness in ConcreteTypeRep Show instance Client.hstest compilation checkpoint ConcreteTypeRep.hsreduce useless gassiness in ConcreteTypeRep Show instance DataConstructorDef.hsclear separation between type and data constructor definition and instantiation -compilation checkpoint DatabaseContext.hsclear separation between type and data constructor definition and instantiation -compilation checkpoint DateExamples.hsall tests passing now DirectoryFsync.cimplement crash safe transaction commiting via fdatasync and transaction directory fsync -requires ordered metadata journaling file system Error.hsmake attribute specification optional to support extraction of attributes from tuples Key.hsmore expressifying of the parser Notifications.hsWIP notification listener working -needs test -consider notification for when changeExpr returns error Persist.hsimplement crash safe transaction commiting via fdatasync and transaction directory fsync -requires ordered metadata journaling file system Relation.hsWIP: type inference -non-compilation checkpoint RelationalExpression.hsmake attribute specification optional to support extraction of attributes from tuples Server.hstest compilation checkpoint Session.hsreshuffle Session and Sessions definitions -add sessionsAsRelation function (not yet implemented as tutd operator) Sessions.hsWIP: lots of refactoring for new constructed atom types and primitive types separation StaticOptimizer.hsvery basic type "inference" supports "Left 4" in tuple and relation declarations must now include full types -type inference from tuples when relation attributes are unknown is no longer supported Transaction.hsWIP: incremental reading and writing of the graph TransactionGraph.hsWIP: lots of refactoring for new constructed atom types and primitive types separation Tuple.hsWIP: type inference -non-compilation checkpoint TupleSet.hsshift tuple hashing of unverified tuples to mitigate vector exception (when tuple and attribute counts are not equal) TypeConstructor.hsclear separation between type and data constructor definition and instantiation -compilation checkpoint TypeConstructorDef.hsWIP: type inference -non-compilation checkpoint