Commits

Author Commit Message Labels Comments Date
kevinclancy
corrected the way annotation map shifting takes the number of tokens inserted via parse repair
kevinclancy
keep annotation map up-to-date while performing parse repair. this fixes
kevinclancy
generate errors and prevent crashes when typedef names collide with module names
kevinclancy
record closest enclosing function call even when overload cannot be
kevinclancy
no need to display "user-defined type" if a structural definition is present and the
kevinclancy
display typedefs structurally
kevinclancy
fixed problem with function type parsing
kevinclancy
fixed a crash where type parser was trying to read past the end of an annotation
kevinclancy
Fixed crash due to accessing character beyond the end of an annotation.
kevinclancy
typed generic for
kevinclancy
trim error messages to remove leading newline
kevinclancy
prevent type variables from clobbering hover queries
kevinclancy
eat whitespace before closing '>' of type application
kevinclancy
fixed a bug
kevinclancy
recursive subtyping
kevinclancy
fixed a scoping bug
kevinclancy
handle non-userdefined type applications in a way that doesn't crash
kevinclancy
better error message generation for type application arity mismatch
kevinclancy
do not crash when type argument arity mismatch happens
kevinclancy
more work on generics
kevinclancy
continued implementing generics
kevinclancy
merged
kevinclancy
fixed some minor problems with the way generics are displayed by intellisense
kevinclancy
fixed dumb mistake which was due to sleep deprivation
kevinclancy
global typedefs can be defined from main now as well as from globals
kevinclancy
fixed type renaming. started adding type parameters.
kevinclancy
added type renaming so that locally-defined types do not
kevinclancy
basic type alias definitions
kevinclancy
differentiate between indexing(the [] operator) and selection (the . operator) so that
kevinclancy
don't show type errors while the user is typing, because unfinished code fragments often manifest as
  1. Prev
  2. Next