on 52182bc help sign in
all commits
7177c9efix type of ExistingRelation getting the type of an existing relation could return tuples resolves #216AgentM ace7680update codebase for hlint 2.1.1 lots of <$> changesAgentM 700f406add example of using RelationAtom (nested relations) with Tupleable resolves #190AgentM 56286b0fix new hlint warnings regarding use of fmapAgentM 92a069are-implement projection to take advantage of better bulk deduplication with this patch, projection is no longer an order-of-magnitude more expensive than other operatorsAgentM 2fe5d65fix broken groupAgentM 5b585e7initial, untested but functioning semijoin/antijoin implementationAgentM 1a39a5breject duplicate attribute names when creating empty relation resolves #170AgentM 07fc59eswitch from Int type to Integer type for IntAtom resolves #138AgentM 9d24a9caddress hlint suggestionsAgentM 63affe5add round-trip marshaling to OutOfTheTarpit example adjust type fromTuple :: Either RelationalError aAgentM b27ae9ffix or squelch all hlint hints in src, examples, test directoriesAgentM 05b5ae1add outer-level attribute support to restriction relational subexpression references #52AgentM 067b382WIP Atomable List instance and built-in List type -problem identified- instead of returning ambiguous AnyAtomType, it should be a type variable so that types can be resolvedAgentM 167d163finish functional dependency implementation including documentation and testAgentM ec960c4WIP major refactoring in order to pass tuples in relational expression stateAgentM b656f57randomize tuple order in tutd terminal output resolves #53AgentM 47bad43WIP compilation checkpoint, simple tests passingAgentM aed8762WIP compilation checkpoint tutd switching to compiling project-m36 library as a dependency for executables switched to Atom ADT AtomFunctionBody somewhat workingAgentM