git.iko.soy/elk
on 577fc17 help sign in
history ofcompiler/Type/Constrain/Expression.hs
all commits
a12554fcosmetic: try to make -Wall happierEvan Czaplicki b16e876Add "alias" as a field in tvars and TermN'sEvan Czaplicki d41a656remove reprime, many minor cosmetic changesEvan Czaplicki d99e412Update to use canonical variablesEvan Czaplicki a88ed26Switch imports from SourceSyntax to ASTEvan Czaplicki b01cf1dwebgl textures!John P Mayer Jr 513141dMerge remote-tracking branch 'evan/dev' into webglJohn P Mayer Jr dd1b3d4Restrict list interpolation to numbers!Evan Czaplicki d288733fixed the compiler and types for the new API cut. TODO Native fixJohn P Mayer Jr 9dd5dffMake AST more general and try to give its phases better namesEvan Czaplicki be9baabMerge remote-tracking branch 'evan/dev' into webglJohn P Mayer Jr 329077fGet rid of input handlers for nowEvan Czaplicki 9dda928make conversion functions for input ports optionalEvan Czaplicki e3a0756removed uneccessary diffsJohn P Mayer Jr 712f824moved all GLSL tipe stuff out of constrain and into Parse HelperJohn P Mayer Jr 3e63279Merge remote-tracking branch 'evan/dev' into topic/webglJohn P Mayer Jr dc3bba7Capture the entire type of the handler for incoming portsEvan Czaplicki 3b9862aSwitch from Types to Variables in the representation of PortInEvan Czaplicki 39eb4c6Use one fewer variable for PortIn constraintsEvan Czaplicki 7cf5a56Add Expressions for ports to check and validate types nicelyEvan Czaplicki 6a8db4cGet rid of dead dependencies and add -Wall for some filesEvan Czaplicki 6f75310Get rid of redundant code that collapses ParseDefsEvan Czaplicki 3c338bdsimplified shader type. added webgl missing throwerrorJohn P Mayer Jr 68e8bcamuch cleaned API in my opinion, plus a much simpler exampleJohn P Mayer Jr c54cd59paranoid saveJohn P Mayer Jr 88fce69just some more work fleshing out the interface for gl type templatingJohn P Mayer Jr d690696getting closer, need to turn the list of gl initDecls into a TermNJohn P Mayer Jr 481478demphasis on where i'm stuckJohn P Mayer Jr 62585b7parse and constrain boilerplated done; todo parse source and get shader typeJohn P Mayer Jr 56ecbbcImplement markdown interpolationEvan Czaplicki 7e1d95aMove the `markdown` function to the text libraryEvan Czaplicki 7c159b2Enable parsing of basic markdown interpolationEvan Czaplicki 95ec3a8Stop using `error` when constraining patterns and when instantiating source typesEvan Czaplicki 47d68d8Succeed on programs that have no expressionsEvan Czaplicki b7eb133Fix subtle bug with rigidVars vs rigidQuantifiers, was quantifing over the wrong variables in a forallEvan Czaplicki a736a28Properly quantify variables in Data expressions.Evan Czaplicki 585107eFix variable shadowing when pattern matching on a pattern with only one variable, when it appears in a let-expressionEvan Czaplicki 2e38f7bGive line numbers when there is a kind error in a patternEvan Czaplicki 51bc878Use new Located datastructure, add source strings where appropriateEvan Czaplicki 8e54751Correctly generate a type for markdown blocksEvan Czaplicki b1f53d0Pipe source locations through the type checkerEvan Czaplicki a4c4cf0Use `Location.none` lessEvan Czaplicki b26edccSimplify representation of source locationsEvan Czaplicki 576e979Simplify code to generate record constraintsEvan Czaplicki 46631c3Remove dead codeEvan Czaplicki 0681fbeGet rid of dead function and give instantiateTypeWithContext a shorter nameEvan Czaplicki 2b2bc08Minor cosmetic changeEvan Czaplicki 9fe6c9aChange functions for creating type variables, distinguish names of different constraint type variablesEvan Czaplicki a05c82fMess with whitespaceEvan Czaplicki d456cecOverload literal numbers without a decimal point to be either Ints or FloatsEvan Czaplicki