summaryrefslogtreecommitdiff
path: root/parse/infer.c
AgeCommit message (Expand)Author
2019-04-28Fix float conversions in casts.Ori Bernstein
2019-04-12Rename traits correctly.Ori Bernstein
2019-03-14Get a bit better at wrangling type bindings.Ori Bernstein
2019-02-28Fix type substitution in sizeof.Ori Bernstein
2019-02-26Accept that `file` isn't a node.Ori Bernstein
2019-02-26Add support for `__fini__` functions.Ori Bernstein
2019-02-18We don't need the last array, just the count.Ori Bernstein
2019-02-16Clean up redundant code.Ori Bernstein
2019-02-10Pass the type envs through properly in delayed unification.Ori Bernstein
2019-02-10Work towards removing the streq check.Ori Bernstein
2019-02-09Work towards removing the streq check.Ori Bernstein
2019-02-07Fix declaration of mktraitmapOri Bernstein
2018-10-27Not all arrays have defined sizes.Ori Bernstein
2018-10-15Disallow negative array sizes. And do some cleanup.Ori Bernstein
2018-07-19Support direct tuple access operators "tuple.N"Quentin Carbonneaux
2018-07-18Top level anonymous unions may not have their type set.Ori Bernstein
2018-07-14Fix stupid mistake.Ori Bernstein
2018-07-14Push down named unions types into union tagsOri Bernstein
2018-07-04Fix infinite recursion in type inference.Ori Bernstein
2018-06-09Consistently and corretly add Oundef.Ori Bernstein
2018-04-18Merge remote-tracking branch 'ori/master' into HEADS. Gilles
2018-04-17Don't mutate the traits on builtin types.Ori Bernstein
2018-04-17Remove stray ',' from error message.Ori Bernstein
2018-04-08Add support for `-T` option to compile in test mode.Ori Bernstein
2018-03-25Make output buffers bigger.Ori Bernstein
2018-03-13Merge branch 'autoexpr' into libmathS. Gilles
2018-03-06Add ternary operator.Ori Bernstein
2018-02-18Resolve the impl() type.Ori Bernstein
2018-01-31Check that if we default to int, all necessary traits are there.Ori Bernstein
2018-01-26New auto operator.Quentin Carbonneaux
2018-01-25Improve error message.Ori Bernstein
2018-01-17Hack in seqaux.Ori Bernstein
2018-01-17Only set the base type on iter traits.Ori Bernstein
2018-01-17Infer after generating init functions.Ori Bernstein
2018-01-14Remove a global-global.Ori Bernstein
2018-01-14Pass in the context node to our error printing..Ori Bernstein
2018-01-14Fix binding of type env in traits.Ori Bernstein
2018-01-14Unify with the existing iterator.Ori Bernstein
2018-01-13Add code to fix up iterators.Ori Bernstein
2018-01-13Clean up iterator unification.Ori Bernstein
2018-01-11Get closer to typechecking generic args correctly.Ori Bernstein
2018-01-11Fix how we bind types.Ori Bernstein
2018-01-11Try harder to specialize. Still some bugs.Ori Bernstein
2018-01-11Move to new trait syntax.Ori Bernstein
2017-12-30Clean up some more dead code.Ori Bernstein
2017-11-28Remove impossible checks.Ori Bernstein
2017-11-28Allow local variables to shadow namespaces.Ori Bernstein
2017-11-05Accept the globalness of file.Ori Bernstein
2017-10-29Fix traits when exported cross-namespaces.Ori Bernstein
2017-10-19Push the env before specializing the proto type.Ori Bernstein