← Back to branch summary

~ubuntu-branches/debian/jessie/coq/jessie

« back to all changes in this revision

Viewing changes to kernel/cemitcodes.ml

  • Committer: Package Import Robot
  • Author(s): Stéphane Glondu
  • Date: 2011-12-25 13:46:09 UTC
  • mfrom: (1.3.6) (6.1.10 sid)
  • Revision ID: package-import@ubuntu.com-20111225134609-zwqkzmeni9g2xlq1
Tags: 8.3.pl3+dfsg-1
* New upstream release
  - remove all patches (applied upstream)

Show diffs side-by-side

added added

removed removed

Lines of Context:
kernel/cemitcodes.ml
295
295
 
296
296
type emitcodes = string
297
297
 
 
298
let copy = String.copy
 
299
 
298
300
let length = String.length
299
301
 
300
302
type to_patch = emitcodes * (patch list) * fv
341
343
  | BCdefined(b,_) -> b
342
344
  | _ -> false
343
345
 
 
346
let repr_body_code = repr_substituted
 
347
 
344
348
let to_memory (init_code, fun_code, fv) =
345
349
  init();
346
350
  emit init_code;