Commits

Author Commit Message Labels Comments Date
kevinclancy
Fixed the crash that resulted from spamming F6 while debugging.
kevinclancy
Added custom print function for debugger.
kevinclancy
fixed exception handling in annotatations
kevinclancy
added error messages for inconsistent assignments in if clauses for globals and constructors (new fields).
kevinclancy
began changing refinement merging in order to generate proper errors when new globals and fields are added.
kevinclancy
fixed the coerce function
kevinclancy
negations of conditions in if statements now affect the context refinements in succeeding clauses. parser now appends an empty else clause onto if statements without else clauses for uniformity.
kevinclancy
now handling nested deductions properly
kevinclancy
improved dedudced types in if statements.
kevinclancy
Deduced types now work at path-level granularity (we no longer invalidate all data member deductions when only one should've been)
kevinclancy
Now uses regular typechecking to compute globals rather than some silly "getAssigns" function
kevinclancy
added a few comments and minor cosmetic adjustments
kevinclancy
for better or worse, changed Method to a record type. Also got rid of EmptyMetamethodSet (it's the static member "empty" of MetamethodSet now)
kevinclancy
Cleaned up the crufty interface of getStubContextInProject. Removed the type environment return value, since that is kept inside the context now.
kevinclancy
added some comments
kevinclancy
Structural subtyping now has its own boolean field in record types, rather than using a * prefix in the name to indicate it.
kevinclancy
Added ProjectChecker module, some more comments, and some more contracts. Fixed a crash which happened when someone tries to access the top element of an empty tab stack.
kevinclancy
In LuaAnalyzer, factored SubtypeGraphBuilder and TypeCollector out of Typechecker. Added some comments and contracts. Removed unused code from LoveStudio.
kevinclancy
merged
kevinclancy
added outputpanel files
kevinclancy
added debug panel support
kevinclancy
prevented from sending to many stack frames on stack overflow. started adding in debug printing.
kevinclancy
Added an output panel.
kevinclancy
commented, removed unused code, added contracts
kevinclancy
added code contracts to LuaAnalyzer. This is going to be fun.
kevinclancy
Added delegates to basic class system.
kevinclancy
Implemented const the correct way (a constness boolean is associated with each field), rather than using a const type or a ref type. Added const annotations. Allow the user to omit typenames in var and const annotations, to retrieve whichever type is computed from typechecking the rhs.
kevinclancy
removed backups and pdbs... not sure how these got added
kevinclancy
removed a pdb
kevinclancy
removed unwanted binary
  1. Prev
  2. Next