9c5162dfix hlint suggestions due to new version of hlintAgentM8 years ago 672d103add relation atom type resolutionAgentM8 years ago c33ea32resolve types in atoms of ConstructedAtoms add test for unresolved constructed atom typesAgentM8 years ago bfa3f0amerge with agentM's branch about specializing Interval.Johnny Liao8 years ago 9e1d992convert IntervalAtomType into ConstructedAtomType instead of making it PrimitiveAgentM8 years ago 32563befix Interval type.Johnny Liao8 years ago 6aac95duse AtomType resolution for primitive types instead of attempting to parse primitive types separately which lead to conflicts resolves #205AgentM8 years ago 8827c0ffix remaining vestige of testingAgentM8 years ago a89f19cMerge branch 'master' into 203_subrelation_attr_defAgentM8 years ago 0994190more subrel attributes validation and testAgentM8 years ago ce0b48afix insufficient validation of AtomTypes in rv definition or assignment relations could be defined/assigned with TypeVariableTypes still need to fix tutd tutorial which uses lower case type names resolves #204AgentM8 years ago 38151c0first pass at working sub relation attributes manual test seems to workAgentM8 years ago 14a9d9aWIP definition of subrelation attributesAgentM8 years ago 4bbe64aworking dynamic atom function loadingAgentM8 years ago ace7680update codebase for hlint 2.1.1 lots of <$> changesAgentM9 years ago 254007bfix hlint suggestions due to new hlint 2.0.10 versionAgentM9 years ago 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 #148AgentM9 years ago f901574validate ConstructedAtom argument count resolves #149AgentM9 years ago c4193derestore interval data type all tests passing resolves #120AgentM9 years ago b27ae9ffix or squelch all hlint hints in src, examples, test directoriesAgentM9 years ago 08e09b6replace AnyAtomType with real type variables remove useless TypeConstructorArg allow atom functions to have polymorphic typesAgentM10 years ago f09f894polymorphic return values for functions now resolves to concrete typesAgentM10 years ago e6e0d36elide extraneous "AtomType" when showing atom types in the terminal fixes #48AgentM10 years ago aed8762WIP compilation checkpoint tutd switching to compiling project-m36 library as a dependency for executables switched to Atom ADT AtomFunctionBody somewhat workingAgentM10 years ago