on 63243ca help sign in
all commits
329077fGet rid of input handlers for nowEvan Czaplicki 9dda928make conversion functions for input ports optionalEvan Czaplicki 7cf5a56Add Expressions for ports to check and validate types nicelyEvan Czaplicki 3c65b5cMove `boundVars` function into SourceSyntax.PatternEvan Czaplicki 56ecbbcImplement markdown interpolationEvan Czaplicki c480449cosmetic: make shadow check a bet more compactEvan Czaplicki 3787852Check for variable shadowingEvan Czaplicki 7c159b2Enable parsing of basic markdown interpolationEvan Czaplicki b26edccSimplify representation of source locationsEvan Czaplicki 5c68f6bConvert more files to the new Expression format that relies more on patterns. Seems to clean things up so far.Evan Czaplicki d700acfFix substitutions for ExplicitList.Evan Czaplicki 721ce4fContinue reorganizing the code-base.evancz 73317edSwitch to using MultiIf for all if expressions. Simplifies AST.evancz 6a34482Add support for type annotations in letAndrew Miller 6b28feaSwitch name of Context to Located. Whoo static types :)evancz 99ae5c6Finish moving the compiler down a directory.evancz