git.iko.soy/project-m36
on 144_proxy_tupleable help sign in
d36fa64proxy-fy toDefineExprAgentM 5b1fe0fswitch to lowercase proxy where possible 3noch believes this will allow for looser Proxy typesAgentM 8fbcf59adjust toInsertExpr "forall a. forall t." to "forall a t."AgentM 4da5ec0adjust docs for Atomable and Tupleable to reference ProxyAgentM 2ff4067remove user-facing undefined in preference to Proxy resolves #144AgentM 3fc7481on Ctrl-C (SIGINT) in tutd, just cancel the current line and read another restore :quit functionality resolves #156AgentM 70f1317add note to tutd tutorial regarding "group" being an alternative to SQL's OUTER JOINAgentM c64db99Merge branch '157_old_new_notif_context'AgentM c99084fdisplay notifications in sample websocket html clientAgentM e953d53don't show confirmation prompt for Commit and Rollback in tutdAgentM 02e6eecfix notification testsAgentM 6590d3eadd new+old report expressions to notifications resolves #157AgentM 5c038e4add a verification prompt when a graph operation could cause uncommitted changes to be lost resolves #121AgentM e463410add link in Community section of README to @diogob's video tutorial of Project:M36 Thanks, @diogob!AgentM afc188cadd round-trip CSV test for ByteStringAtomAgentM 91d239dfix extraneous "do"AgentM d59c0f7Merge branch 'master' into 146_compressdbAgentM b1b6311fix missing atomtype validation in AttributeAtomExpr resolves #153AgentM 1ec1119remove error-based debugging statementsAgentM 7e7cb57update handles to take tutd setup and iteration commandsAgentM c022511compress relvars with gzip, write all atomfuncs to one file references #146AgentM d7f370eMerge branch '148_csv_import_parser_refactoring'AgentM 6c600cdchange to new-haddock in travis builderAgentM df3e55cMerge branch 'master' of https://github.com/agentm/project-m36AgentM 4b687eaadd haddock build step to travis builder resolves #152AgentM 011e28fmake hlint adjustmentsAgentM 1805b77CSV round-trip with Cons and escaped charactersAgentM 58e2c65fix hlint suggestionsAgentM 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 6fe4bfaMerge pull request #151 from cumber/patch-1AgentM 91d2135fix haddock of ProjectM36.Client.SimpleBen Mellor f901574validate ConstructedAtom argument count resolves #149AgentM 717dacaMerge branch '145_leaking_fds'AgentM aa730eeMerge branch '145_leaking_fds' of https://github.com/agentm/project-m36 into 145_leaking_fdsAgentM 1834b66add FileLock alias for Windows file locking compatibilityAgentM 7a64a4dfix extraneous do clausesAgentM 034ed44add -e string to tutd to execute arbitrary one-off TutorialD commands resolves #147AgentM 4f1a995fix hlint suggestionAgentM 5f6509efix file lock handle leak on connection close System.IO actively prevents opening the same file twice in write mode, so we must resort to a lower-level API luckily, the locking API is self-contained needs Windows mungingAgentM a11a49aincrement on-disk format version to account for restoration of IntAtom/IntegerAtom splitAgentM a49dd71add handles test bench which prints out a used file handle countAgentM 125e926eliminate lazy IO reads in transaction persistenceAgentM 3c5ad79restore IntAtom/IntegerAtom but prefer IntegerAtom wherever possibleAgentM 8e05e68bump persistence version due to IntAtom changeAgentM 1212687fix another redundant ProjectM36.Error warningAgentM ebaee2afix fallout from Int -> Integer IntAtom changeAgentM f5746c2squelch more ProjectM36.Error warningsAgentM 07fc59eswitch from Int type to Integer type for IntAtom resolves #138AgentM 6d78d19add Atomable instances for Maybe and Either types resolves #143AgentM 6999c57squelch redundant ProjectM36.Error warningsAgentM