git.iko.soy/project-m36
on 52182bc help sign in
history oftest/TutorialD/Interpreter.hs
all commits
1f2e267add websocket and HTML support for dataframesAgentM e9f1023move dataframe creation and sorting to server-side via Client.hs add preliminary testAgentM 0d4a061fix atom function atom type validation resolves #64AgentM 6111028add With testAgentM 9c5162dfix hlint suggestions due to new version of hlintAgentM c33ea32resolve types in atoms of ConstructedAtoms add test for unresolved constructed atom typesAgentM d8ab441refactor NonEmptyList type add test rename NonEmpty to NonEmptyList (we can change this once we support modules) add NonEmptyList AtomFunctions to basic AtomFunction listAgentM 1a70d58add Arbitrary special case for built-in Interval typeAgentM 9e1d992convert IntervalAtomType into ConstructedAtomType instead of making it PrimitiveAgentM 478e3dbadd test for arbitrary relation generationAgentM 6aac95duse AtomType resolution for primitive types instead of attempting to parse primitive types separately which lead to conflicts resolves #205AgentM a89f19cMerge branch 'master' into 203_subrelation_attr_defAgentM 0994190more subrel attributes validation and testAgentM 660df0bfix fromGregorian Day constructorAgentM 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 c3a4e2dallow negative numbers in tutd resolves #202AgentM b299ff4add tests for semijoin, antijoin, and relational expression attributesAgentM 5b44309additional static predicate truth detectionAgentM 20bf246fix critical tutoriald parsing bug involving compound restriction predicatesAgentM 02e6eecfix notification testsAgentM b1b6311fix missing atomtype validation in AttributeAtomExpr resolves #153AgentM f901574validate ConstructedAtom argument count resolves #149AgentM 3c5ad79restore IntAtom/IntegerAtom but prefer IntegerAtom wherever possibleAgentM 07fc59eswitch from Int type to Integer type for IntAtom resolves #138AgentM 06aea4bfix GHC 7.10 getCurrentTime sourceAgentM 9f743caMerge branch '120_fix_interval' into 123_commit_timestampsAgentM 2aba32aadd commit timestamps the timestamp is from the start of the transaction creation, not when it is committed (a few milliseconds later typically)- this is identical to postgresql's now() stamp resolves #123AgentM 40e1d8aswitch from makeByteString to bytestring constructor this makes the bytestring constructor more in line with other non-primitive constructor functionsAgentM c4193derestore interval data type all tests passing resolves #120AgentM b27ae9ffix or squelch all hlint hints in src, examples, test directoriesAgentM 0747adaMerge branch 'master' into 33_autorebaseAgentM 91d6fa9WIP test updates for switch from Maybe to Either for Client APIAgentM 05b5ae1add outer-level attribute support to restriction relational subexpression references #52AgentM d293692#106 implement Commit options regarding how to handle empty commitsAgentM 9c88827fix test warningsAgentM 261654cempty commit detection completion all tests passingAgentM 779dcd5squelch type warning in realToFracAgentM 31aa122add DateTime atom constructor function resolves #104AgentM af92f0dfinish renaming evalDatabaseContextExpr in testsAgentM d936047remove unusued importsAgentM 80d74a6refactor Client to track created transport and release it on disconnectAgentM 585420aMerge branch 'master' of https://github.com/agentm/project-m36AgentM 167d163finish functional dependency implementation including documentation and testAgentM 3e4fee1add ":deletebranch" tutoriald operator resolves #34AgentM 3715eaaadd RelationalExprStateTupleElems testAgentM e4ee8e0Merge branch 'isomorphic_schemas'AgentM 0a93247add tutd schema expr testAgentM b2d3e07WIP trying to get all tests to pass againAgentM 8cfc3eeallow multiple attribute renames as part of tutd rename clause fixes #47AgentM 8b7e4e4Ensure that joins with attributes of different types for the same named attributes is rejected. We thought we were handling previously, but the if-statement was not handling same names with differing types. fixes #49AgentM