Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Define lots of built-in types and fix outputs form. | David Thompson | 2023-06-08 | 1 | -207/+190 |
* | Emitting overloaded functions seems to work! | David Thompson | 2023-06-08 | 1 | -9/+15 |
* | Fix predicate eval bug. | David Thompson | 2023-06-08 | 1 | -1/+4 |
* | Overload resolution that almost works. | David Thompson | 2023-06-08 | 1 | -20/+76 |
* | Improve predicate composition and evaluation. | David Thompson | 2023-06-08 | 1 | -100/+260 |
* | Infer all possible forms. | David Thompson | 2023-06-08 | 1 | -22/+111 |
* | Qualified types that mostly work. | David Thompson | 2023-06-08 | 1 | -632/+693 |
* | Misc. tweaks. | David Thompson | 2023-06-08 | 1 | -17/+36 |
* | Fix hoisting. | David Thompson | 2023-06-08 | 1 | -7/+26 |
* | A char is not a valid GLSL immediate. | David Thompson | 2023-06-08 | 1 | -1/+0 |
* | Add exception type for type errors. | David Thompson | 2023-06-08 | 1 | -3/+19 |
* | Add case/cond. | David Thompson | 2023-06-08 | 1 | -16/+67 |
* | Add and/or. | David Thompson | 2023-06-08 | 1 | -0/+18 |
* | Re-organize a bit. | David Thompson | 2023-06-08 | 1 | -85/+85 |
* | Update some comments. | David Thompson | 2023-06-08 | 1 | -10/+13 |
* | Add start of vertex/fragment shader distinction. | David Thompson | 2023-06-08 | 1 | -149/+167 |
* | Shader outputs. | David Thompson | 2023-06-08 | 1 | -48/+186 |
* | top-level inputs/uniforms. | David Thompson | 2023-06-08 | 1 | -15/+75 |
* | Fix more inference bugs. | David Thompson | 2023-06-08 | 1 | -5/+17 |
* | Fix call annotation for multi-value functions. | David Thompson | 2023-06-08 | 1 | -1/+3 |
* | Partial multi-value return support. | David Thompson | 2023-06-08 | 1 | -2/+42 |
* | Overload vec3/vec4 constructors. | David Thompson | 2023-06-08 | 1 | -4/+20 |
* | Add support for more primitives. | David Thompson | 2023-06-08 | 1 | -46/+129 |
* | Use continuation-passing style to get overloads working. | David Thompson | 2023-06-08 | 1 | -162/+225 |
* | Add to Makefile.am. | David Thompson | 2023-06-08 | 1 | -1/+1 |
* | Fix inference for top-level. | David Thompson | 2023-06-08 | 1 | -12/+4 |
* | Remove a bunch of cruft. | David Thompson | 2023-06-08 | 1 | -353/+34 |
* | A lot of garbage. | David Thompson | 2023-06-08 | 1 | -42/+462 |
* | Update feature list. | David Thompson | 2023-06-08 | 1 | -4/+4 |
* | Constant propagation and partial evaluation. | David Thompson | 2023-06-08 | 1 | -0/+99 |
* | Allow - and / to be n-ary. | David Thompson | 2023-06-08 | 1 | -0/+31 |
* | Allow + and * to be n-ary. | David Thompson | 2023-06-08 | 1 | -0/+18 |
* | Better GLSL emission. | David Thompson | 2023-06-08 | 1 | -146/+189 |
* | GLSL emission | David Thompson | 2023-06-08 | 1 | -6/+122 |
* | Add unification pass. | David Thompson | 2023-06-08 | 1 | -89/+268 |
* | Add type annotation pass. | David Thompson | 2023-06-08 | 1 | -5/+376 |
* | Add function hoisting and redo free variable analysis. | David Thompson | 2023-06-08 | 1 | -58/+120 |
* | Add macro expansion and free variable annotation. | David Thompson | 2023-06-08 | 1 | -14/+239 |
* | Add skeleton of Seagull compiler. | David Thompson | 2023-06-08 | 1 | -0/+115 |
* | intersection types. | David Thompson | 2023-06-08 | 1 | -6/+37 |
* | call-with-values | David Thompson | 2023-06-08 | 1 | -11/+30 |
* | Type quantifiers!!!! | David Thompson | 2023-06-08 | 1 | -95/+188 |
* | Fix begin/let. | David Thompson | 2023-06-08 | 1 | -7/+9 |
* | Add begin form. | David Thompson | 2023-06-08 | 1 | -0/+12 |
* | Add let and values forms. | David Thompson | 2023-06-08 | 1 | -0/+37 |
* | Add basis for multiple return values. | David Thompson | 2023-06-08 | 1 | -154/+124 |
* | First draft of a new attempt at inference. | David Thompson | 2023-06-08 | 1 | -0/+402 |
* | infer: structs and arrays. | David Thompson | 2023-06-08 | 1 | -43/+212 |
* | infer: n-arity functions. | David Thompson | 2023-06-08 | 1 | -5/+20 |
* | WIP type inference thing. | David Thompson | 2023-06-08 | 1 | -0/+211 |