git.iko.soy/project-m36
on 52182bc help sign in
history ofsrc/lib/ProjectM36/RelationalExpression.hs
all commits
0d4a061fix atom function atom type validation resolves #64AgentM 7177c9efix type of ExistingRelation getting the type of an existing relation could return tuples resolves #216AgentM 4b4c0d9make hlint changesAgentM 263425cadd error on used names for viewsAgentM e69a063Merge branch 'feature/add_with_relvar_macro' of https://github.com/YuMingLiao/project-m36 into YuMingLiao-feature/add_with_relvar_macroAgentM 9c5162dfix hlint suggestions due to new version of hlintAgentM c33ea32resolve types in atoms of ConstructedAtoms add test for unresolved constructed atom typesAgentM 0b24d9dadd with macro with multiple viewsJohnny Liao 1498c38Merge branch 'feature/arbitrary_tupleset' of https://github.com/YuMingLiao/project-m36 into YuMingLiao-feature/arbitrary_tuplesetAgentM bfa3f0amerge with agentM's branch about specializing Interval.Johnny Liao 890fb96I acccidentally merge it with an old upstream branch. When I try to merge with new one. It asks me commit first.Johnny Liao 9e1d992convert IntervalAtomType into ConstructedAtomType instead of making it PrimitiveAgentM 32563befix Interval type.Johnny Liao 02c5d25implement hlint suggestionsAgentM 40b4d5eadd arbitrary ConstructedAtomTypeJohnny Liao 8911ef7Resolved merge conflict from upstream masterJohnny Liao a89f19cMerge branch 'master' into 203_subrelation_attr_defAgentM 0994190more subrel attributes validation and testAgentM ce0b48afix insufficient validation of AtomTypes in rv definition or assignment relations could be defined/assigned with TypeVariableTypes still need to fix tutd tutorial which uses lower case type names resolves #204AgentM 8285a58add feature: createarbitraryrelation. Usage: createarbitraryrelation rvname {name Text, number Integer} 10-20Johnny Liao 2c897b7implement :showdatabasecontextfunctionsAgentM 4bbe64aworking dynamic atom function loadingAgentM ace7680update codebase for hlint 2.1.1 lots of <$> changesAgentM 52a18c6fix confusing error message when creating incdep where the expressions do not have equal relation types resolves #181AgentM 5b585e7initial, untested but functioning semijoin/antijoin implementationAgentM 60228c5Merge branch 'master' into 165_more_static_optimizationsAgentM 254007bfix hlint suggestions due to new hlint 2.0.10 versionAgentM db3c05cadd a bunch of static optimizations and use optimizations by default in ClientAgentM 6590d3eadd new+old report expressions to notifications resolves #157AgentM b1b6311fix missing atomtype validation in AttributeAtomExpr resolves #153AgentM 1ec1119remove error-based debugging statementsAgentM e7bc48frefactor CSV atom parser to use attoparsec on potential atom values the previous parser relied solely on Text.Read which made it impossible to represent ADT type tested ADT round trips, quoted text atoms resolves #148AgentM f901574validate ConstructedAtom argument count resolves #149AgentM c4193derestore interval data type all tests passing resolves #120AgentM b27ae9ffix or squelch all hlint hints in src, examples, test directoriesAgentM 05b5ae1add outer-level attribute support to restriction relational subexpression references #52AgentM 261654cempty commit detection completion all tests passingAgentM 0fd3b52implement support for tracking disconnected transaction dirtiness return an error if an empty commit is attemptedAgentM 08e09b6replace AnyAtomType with real type variables remove useless TypeConstructorArg allow atom functions to have polymorphic typesAgentM f09f894polymorphic return values for functions now resolves to concrete typesAgentM 6ea4ad3functioning atom function and database context function serialization dbc test is brokenAgentM 6219d5dadd removeAtomFunctionP to interpreter the fact that it was missing was an oversightAgentM a1f0542atom function error + updated testAgentM f4794d3WIP add dbc function errorsAgentM af92f0dfinish renaming evalDatabaseContextExpr in testsAgentM a0e6f44polish up database context function work -documentation -tests -there should likely be a separate module which is imported for database context functions which exports a variety of convenience functionsAgentM aee15b2finish dbc function validation and start work on testAgentM a476d28WIP first pass at working stored functions -needs tests -needs atom type validation in RelationalExpression.hsAgentM 5af6b66simplify constraint checking logic so that it can take better advantage of future optimizationsAgentM 167d163finish functional dependency implementation including documentation and testAgentM