git.iko.soy/project-m36
on 3a76afa help sign in
history oftest/TutorialD/Interpreter.hs
all commits
ec1003aadd (Interval UTCTime) support all the way to TutorialD -includes sample "member" function -not ideal due to monomorphism restriction- each new type must be hard-codedAgentM 6af64f3remove stale commentAgentM cb07a7dMerge branch 'atom_typeclass_simple'AgentM 6dae00eadd support to tutd for Maybe Int and Maybe Text typesAgentM ca72287atom EQ redefinition branch complete -all tests passAgentM c438855add bytestring atom type -fix some orphan instance warningsAgentM 2af3d66fix restriction predicate lacking whitespace after quotedString -add test to cover this caseAgentM c2dac1brefactor tuple set to be list-based instead of hashset-based in preparation for infinitely-sized relationsAgentM da528b7refactor Tutorial D interpreter to make use of client library -this should cut down on the common code between D interpreters -the interpreter used as a library consumer is an important test of the API coverage of the client libraryAgentM d2940fbWIP: branch on persistence strategy (mem or fs) -still need to fix the command line parsing -added some basic transaction persistence testsAgentM fde4091WIP: incremental reading and writing of the graphAgentM a318000introduce "key" syntax for TutorialD with backing support via inclusion dependenciesAgentM 78bc7c6add “all but” convenience syntaxAgentM db6f80dadd boolean atoms, boolean functions, boolean function restrictionAgentM 177eccarefactor TutorialD parsersAgentM f42ee21add basic atom functions: count, min, maxAgentM 5582a55-further polish tuple expression parsing -add @attributename for context-free parsing in tuple expressions -add tuple expression parsing to where clauses (restriction) -more tests- all passAgentM 2b5f249implement TutorialD extend supportAgentM f7681f6move common stringy elements to Data.Text to save more space add command-line parsing to bigrel all tests passAgentM 03c23d9WIP vectorize Attributes and TuplesAgentM 2d0842brefactor project file hierarchy and clean up some warningsAgentM