git.iko.soy/project-m36
on 18f736a help sign in
history oftest/TutorialD/Interpreter.hs
all commits
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 6dbd0b1add trans graph relational expression head lookup backtracking ala git (~/^)AgentM 01345d5add transaction graph expr testAgentM e0e000call tests pass, all binaries buildAgentM 81f03b6switch DateExamples.tutd to include more newlines for ease of reading and parser testingAgentM d620fd0add atom function script test fix import warningsAgentM 0a5ee8bWIP more librarization workAgentM a62ba78switch update expression to use AtomExpr instead of simplistic Atom this was an oversight and should have been implemented when AtomExprs were introduced, but I missed it resolves #28AgentM 7ccb7deMerge branch 'websocket-server'AgentM 1b5c0f0fix tutd testAgentM 0358e29add safe/unsafe tutoriald operationAgentM c981accMove OverloadedStrings from language pragmas to cabal fileDiogo Biazus 213787dRename DatabaseExpr to DatabaseContextExpr for the sake of consistency all tests pass resolves #6AgentM 0f030d0all tests pass againAgentM 6d4bf99refactor Maybe and Either types to their own modules add Either type and testAgentM 281683dadd difference operatorAgentM ad35673add type constructor testAgentM