public static int ResolveAndTypecheck(Absy absy) { var rc = new ResolutionContext(null); absy.Resolve(rc); if (rc.ErrorCount != 0) { return(rc.ErrorCount); } var tc = new TypecheckingContext(null); absy.Typecheck(tc); return(tc.ErrorCount); }
public static void ResolveAndTypecheck(Absy absy) { absy.Resolve(new ResolutionContext(null)); absy.Typecheck(new TypecheckingContext(null)); }