154def admitNativePhysicalResources =
155 (lambda unrestricted context : (family NativeResourceContext) .
156 (lambda unrestricted program : (family NativePhysicalProgram) .
157 (eliminate
158 NativeResourceContext
159 (lambda unrestricted current : (family NativeResourceContext) .
160 (family StdResult (family NativeResourceFailure) (family ResourceSchedule)))
161 context
162 (branch
163 NativeResourceContextOf
164 schedule
165 identity
166 endpoint
167 domain
168 quantum
169 entries
170 pairs
171 .
172 (eliminate
173 StdResult
174 (lambda unrestricted current : (family StdResult (family NativePhysicalMemoryFailure) (family ResourceLease)) .
175 (family StdResult (family NativeResourceFailure) (family ResourceSchedule)))
176 (nativePhysicalInterpreterLease identity endpoint domain quantum program)
177 (branch
178 StdFailure
179 reason
180 .
181 (constructor
182 StdResult
183 StdFailure
184 (family NativeResourceFailure)
185 (family ResourceSchedule)
186 (constructor NativeResourceFailure NativeResourceMemoryFailed reason)))
187 (branch
188 StdSuccess
189 lease
190 .
191 (eliminate
192 StdResult
193 (lambda unrestricted current : (family StdResult (family ResourceFailure) (family ResourceSchedule)) .
194 (family StdResult (family NativeResourceFailure) (family ResourceSchedule)))
195 (admitResourceSchedule
196 entries
197 pairs
198 (constructor
199 ResourceSchedule
200 ResourceScheduleOf
201 (resourceScheduleGraph schedule)
202 (resourceSchedulePlacements schedule)
203 (constructor
204 StdList
205 StdListCons
206 (family ResourceLease)
207 lease
208 (resourceScheduleLeases schedule))))
209 (branch
210 StdFailure
211 reason
212 .
213 (constructor
214 StdResult
215 StdFailure
216 (family NativeResourceFailure)
217 (family ResourceSchedule)
218 (constructor NativeResourceFailure NativeResourceAdmissionFailed reason)))
219 (branch
220 StdSuccess
221 admitted
222 .
223 (constructor
224 StdResult
225 StdSuccess
226 (family NativeResourceFailure)
227 (family ResourceSchedule)
228 admitted)))))))))The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.