git.iko.soy/project-m36
on runtime_constructors help sign in
6d4bf99refactor Maybe and Either types to their own modules add Either type and testAgentM 5377a37fix usage of MultipleErrors when there is only one error fix inverted error logic in tuple type validation- oops- the improper use of the Maybe Monad is probably causing bugs elsewhere, I should audit such usageAgentM 68f2827fix remaining broken link in 15-minute tutorialAgentM d64be7dfix link typos in 15-minute tutorialAgentM 9dba6c4fix typos in OotT essayAgentM b5a555cmore docs updates to reflect new runtime typesAgentM 054da5aupdate docs to prepare for release of out-of-the-tarpit essayAgentM ad7a300update tutd tutorial with lowercase Date relvars -uppercase is used to indicate a type or data constructor, as in Haskell itselfAgentM 245eb28fully-functioning out of the tarpit example scriptAgentM 6482f01remove extraneous traceAgentM 3656536add less than function for day typeAgentM 281683dadd difference operatorAgentM 489f43eWIP add out-of-the-tarpit-related docs and examplesAgentM c79520bsupport comments in TutorialD DatabaseExprAgentM a9158e3fix tuple/attribute ordering in tuple expression evaluationAgentM b5d2f96remove extraneous debug tracesAgentM 3e3e94dchange toText/fromText for Text to restore quoting -this fixes ConstructedAtom Text display to adds quotes around all strings -this requires some special-casing for CSV import/export to prevent double double-quotesAgentM 536b19ffix Day type constructorAgentM 79de2e2add empty whitespace parser/noop for databaseExpr parser -this is handy for the tutoriald import which currently works line-by-lineAgentM ad35673add type constructor testAgentM 8c3934afix display of nested constructed atoms with parenthesesAgentM 287f51bfix ConstructedAtom parsing of spacesAgentM c0554e0allow atomTypeForAtom to pass back invalid type var map which is resolved laterAgentM 4724158all tests passing nowAgentM f0b4bdcreduce useless gassiness in ConcreteTypeRep Show instanceAgentM 576e02btest compilation checkpointAgentM 4038adfmake attribute specification optional to support extraction of attributes from tuplesAgentM 013a62dvery basic type "inference" supports "Left 4" in tuple and relation declarations must now include full types -type inference from tuples when relation attributes are unknown is no longer supportedAgentM a8da548WIP: type inference -non-compilation checkpointAgentM 5f34a12clear separation between type and data constructor definition and instantiation -compilation checkpointAgentM 0c481e8WIP- polymorphic data types parsing -compilation checkpointAgentM 1d7b6e3add type constructor validation in atom construction creationAgentM 9835bf4WIP: lots of refactoring for new constructed atom types and primitive types separationAgentM a740264more expressifying of the parserAgentM 8b18689WIP: getting data constructors to tutdAgentM cbf399cWIP: runtime type systemAgentM 14073e8add notification callbacks to example codeAgentM f1e4777Merge branch 'notifications'AgentM c08df81#1 complete first-pass implementation of asynchronous notificationsAgentM 722fd24prettify notification printing in tutdAgentM aa37ec1finish notification testsAgentM 677dc7dWIP: tutd notification testAgentM af513d3close critical bug in session creation #3- creating a new session must propagate the transaction's contextAgentM 93b859dadd server-based notification testAgentM c85fad4update existing tests to passAgentM 69e3461tutd propagates notifications to stderrAgentM 0bf7786fix warnings involved with new notificationsAgentM a011cd3WIP notification listener working -needs test -consider notification for when changeExpr returns errorAgentM a1d63caWIP notification generation machinery -notifications are sent but not yet properly handled -callback mechanism for connection needs to be added -callbacks for local connections (without dist-proc) is missing -tests are missingAgentM 64a9037WIP notifications not yet propagatedAgentM