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