git.iko.soy/project-m36
on master help sign in
history of44ec3cd..master
compare
929580fupdate examples due to refactoringAgentM 31bb6a0add convenience structure to AttributeExprAgentM f5339a4SimpleClient changes necessary due to refactoringAgentM 321669cfix Relation.Show.Term refactoringAgentM aa55b1afix some bigrel compilation issues - some functions were moved aroundAgentM 447534cadd relation variable summary RO context operatorAgentM 8b0c800add missing package dependency in serverAgentM 2ebef27make grammar fixes in OotT essay suggested by Dr. GregAgentM 17802c0move dupes function to MiscUtilsAgentM 13209bcdetect and reject duplicate attribute names in tutd inputAgentM 28492b3finish "Summary of Benefits" section of OotT essayAgentM 755a1aasome grammar and context doc fixesAgentM 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