~icefox/garnetc#23: 
Feature: Typechecker sanity check pass

Just have a little pass that runs right after type checking that goes through the whole program and makes sure that:

  • every expression has a type
  • every expression has a type that contains no unknowns
  • no unknownint's either

Not strictly necessary, but I bet it'll catch bugs before the unit tests do.

Status
RESOLVED CLOSED
Submitter
~icefox
Assigned to
No-one
Submitted
1 year, 8 months ago
Updated
1 year, 7 months ago
Labels
T-TODO

~icefox added T-TODO 1 year, 8 months ago

~icefox 1 year, 7 months ago

Implemented in 17a8df4a7daf and indeed it catches many bugs! Whoops!

~icefox REPORTED CLOSED 1 year, 7 months ago

Bugfixes and updated tests in commit 75f6073fde1a . Followup in #28.

Register here or Log in to comment, or comment via email.