Andrew Guterman
Andrew Guterman
The following says "Invalid generated Coq file": ``` schema sch_flights(fid:int, month_id:int, day_of_month:int, day_of_week_id:int, carrier_id:string, flight_num:int, origin_city:string, origin_state:string, dest_city:string, dest_state:string, departure_delay:int, taxi_out:int, arrival_delay:int, canceled:int, actual_time:int, distance:int, capacity:int, price:int ); schema sch_carriers...
the error `Subscription Receipt. Use the appropriate function instead.` is incorrect, you can no longer assume LatestReciept is empty, see https://developer.apple.com/forums/thread/63092
right now you can just batch write or batch delete separately