; Copyright (c) 1993-2008 by Richard Kelsey and Jonathan Rees. See file COPYING.


; Some interfaces.  Order of presentation is a bit random.

(define-interface scheme-level-0-interface
  (export ((if begin lambda letrec letrec* quote set!
	       define define-syntax let-syntax letrec-syntax)
	   :syntax)
	  
	  ;; The basic derived expression types.
	  ((and cond do let let* or) :syntax)

	  apply

	  ;; Scalar primitives
	  eq?
	  number? integer? rational? real? complex?
	  exact? exact->inexact inexact->exact
	  + - * / = < > <= >=
	  quotient remainder
	  floor numerator denominator
	  real-part imag-part
	  exp log sin cos tan asin acos atan sqrt
	  angle magnitude make-polar make-rectangular
	  char?
	  char=? char<?
	  eof-object?
	  input-port? output-port?

	  ;; Data manipulation
	  pair? cons car cdr set-car! set-cdr!
	  symbol? symbol->string
	  string? make-string string-length string-ref string-set!
	  vector? make-vector vector-length vector-ref vector-set!

	  ;; Unnecessarily primitive
	  string=?
	  vector
	  assq

	  ;; New in Revised^5 Scheme
	  values call-with-values

	  ;; Things that aren't primitive at the VM level, but have
	  ;; to be defined using VM primitives.
	  string-copy
	  string->symbol
	  procedure?
	  integer->char char->integer))

; Miscellaneous primitives.

(define-interface primitives-interface
  (export add-finalizer!
	  call-external-value
	  call-external-value-2
	  channel-parameter
	  checked-record-ref
	  checked-record-set!
	  collect			;,collect command
	  continuation-length
	  continuation-ref
	  continuation-set!
	  continuation?
	  copy-bytes!
	  copy-string-chars!
	  current-thread		;fluids threads
	  double?
	  eof-object                    ;i/o-internal re-exports this
	  extended-number-length
	  extended-number-ref
	  extended-number-set!
	  extended-number?
	  find-all			;externals, command-levels
	  find-all-records		;threads
	  immutable?
	  make-continuation
	  make-double
	  make-extended-number
	  make-immutable!
	  make-record
	  make-template
	  make-weak-pointer
	  memory-status			;interrupts
	  os-error-message
	  peek-byte
	  peek-char
	  read-byte
	  read-char
	  record
	  record-length
	  record-ref
	  record-set!
	  record?
	  record-type<=?
	  return-from-callback
	  schedule-interrupt            ;interrupts re-exports this
	  session-data			;channels
	  set-current-thread!		;fluids threads
	  set-enabled-interrupts!	;interrupts
	  set-exception-handlers!
	  set-interrupt-handlers!	;interrupts
	  set-session-data!		;channels
	  string-hash
	  system-parameter
	  template-length
	  template-ref
	  template-set!
	  template?
	  time
	  unspecific			;record
	  vm-extension
	  wait
	  weak-pointer-ref
	  weak-pointer?
	  make-transport-link-cell
	  transport-link-cell?
	  transport-link-cell-key
	  transport-link-cell-value 
	  set-transport-link-cell-value!
	  transport-link-cell-tconc 
	  set-transport-link-cell-tconc!
	  transport-link-cell-next 
	  set-transport-link-cell-next!
	  write-byte
	  write-char
	  char->utf
	  utf->char))

(define-interface bitwise-interface
  (export arithmetic-shift
	  bitwise-not
	  bit-count
	  ((bitwise-and bitwise-ior bitwise-xor)
	   (proc (&rest :exact-integer) :exact-integer))))

(define-interface cells-interface
  (export cell?
	  make-cell
	  cell-ref
	  cell-set!))

(define-interface records-interface
  (export make-record
	  record
	  record?
	  record-type
	  record-length
	  record-ref checked-record-ref
	  record-set! checked-record-set!))

(define-interface locations-interface
  (export location?
	  location-defined?
	  location-assigned?
	  location-id
	  set-location-id!
	  make-undefined-location
	  set-location-defined?!
	  contents
	  set-contents!))

(define-interface closures-interface
  (export closure?
	  make-closure
	  closure-env set-closure-env!
	  closure-template set-closure-template!))

(define-interface byte-vectors-interface
  (export byte-vector?
	  byte-vector-length
	  byte-vector-ref
	  byte-vector-set!
	  make-byte-vector

	  ;; creates a byte-vector that will never be moved in a
	  ;; garbage collection or raises an exception if the GC does
	  ;; not support this feature.
	  make-unmovable-byte-vector

          byte-vector=?
	  byte-vector))

; Same again, but with old names for compatibility.

(define-interface code-vectors-interface
  (export code-vector?
	  code-vector-length
	  code-vector-ref
	  code-vector-set!
	  make-code-vector))

(define-interface channels-interface
  (export channel?
	  channel-id
	  channel-status
	  channel-os-index
	
	  open-channel
	  close-channel
	  channel-ready?
	  channel-maybe-read
	  channel-maybe-write
	  channel-abort

	  open-channels-list))

(define-interface ports-interface
  (export port?
	  make-port
	  port-handler
	  port-text-codec-spec set-port-text-codec-spec!
	  port-crlf?        set-port-crlf?!
	  port-buffer       

	  port-lock         set-port-lock!
	  port-status       set-port-status!
	  port-data         set-port-data!
	  port-index        set-port-index!
	  port-limit        set-port-limit!
	  port-pending-cr?  set-port-pending-cr?!
	  port-pending-eof? set-port-pending-eof?!

	  provisional-port-status provisional-set-port-status!
	  provisional-port-index  provisional-set-port-index!
	  provisional-port-limit  provisional-set-port-limit!
	  provisional-port-lock   provisional-set-port-lock!
	  provisional-port-pending-cr?
	  provisional-set-port-pending-cr?!
	  provisional-port-pending-eof?
	  provisional-set-port-pending-eof?!))

(define-interface condvars-interface
  (export make-condvar
	  condvar?
	  maybe-commit-and-wait-for-condvar
	  maybe-commit-and-set-condvar!
	  condvar-value set-condvar-value!
	  condvar-has-value? set-condvar-has-value?!))

(define-interface shared-bindings-interface
  (export shared-binding?
	  shared-binding-is-import?
	  shared-binding-name
	  shared-binding-ref
	  shared-binding-set!	  
	  lookup-imported-binding
	  define-imported-binding
	  undefine-imported-binding
	  lookup-exported-binding
	  define-exported-binding
	  undefine-exported-binding
	  find-undefined-imported-bindings))

(define-interface low-proposals-interface
  (export make-proposal
	  current-proposal
	  set-current-proposal!
	  maybe-commit

	  provisional-car
	  provisional-cdr
	  provisional-set-car!
	  provisional-set-cdr!
	  provisional-cell-ref
	  provisional-cell-set!
	  provisional-vector-ref
	  provisional-vector-set!
 	  provisional-byte-vector-ref
 	  provisional-byte-vector-set!

	  provisional-checked-record-ref
	  provisional-checked-record-set!
  
	  attempt-copy-bytes!))

(define-interface proposals-procedures-interface
  (export maybe-commit
          proposal-active?
	  remove-current-proposal!
	  invalidate-current-proposal!

	  call-ensuring-atomicity
	  call-ensuring-atomicity!
	  call-atomically
	  call-atomically!

	  provisional-car
	  provisional-cdr
	  provisional-set-car!
	  provisional-set-cdr!
	  provisional-cell-ref
	  provisional-cell-set!
	  provisional-vector-ref
	  provisional-vector-set!
 	  provisional-byte-vector-ref
 	  provisional-byte-vector-set!

	  attempt-copy-bytes!))

(define-interface proposals-interface
  (compound-interface
   proposals-procedures-interface
   (export ((ensure-atomicity
	     ensure-atomicity!
	     atomically
	     atomically!
	     with-new-proposal) :syntax)
	   
	   (define-synchronized-record-type :syntax)
	   define-record-discloser	;users are likely to want it
	   )))

; Miscellaneous useful procedures used in various random places.
; These are used in the byte-code compiler and the linker and so have
; alternative implementations in alt/...

(define-interface features-interface
  (export immutable?
	  make-immutable!
	  string-hash
	  force-output
	  current-noise-port))

; Another hodge-podge.

(define-interface low-level-interface
  (export vector-unassigned?		;inspector
	  cell-unassigned?))		;disclosers

(define-interface vm-exposure-interface
  (export invoke-closure		;eval
	  primitive-catch))		;shadowing, start, command

(define-interface escapes-interface
  (export primitive-cwcc
	  with-continuation))

(define-interface ascii-interface
  (export ascii->char
	  char->ascii
	  ascii-limit
	  ascii-whitespaces))

(define-interface unicode-interface
  (export scalar-value->char
	  char->scalar-value
	  scalar-value?))

; Level 1: The rest of Scheme except for I/O.

(define-interface scheme-level-1x-adds-interface ; all but syntax-rules
  (export ((case quasiquote) :syntax)
	  abs
	  append  assoc assv	  
	  boolean?
	  caaaar caaadr caadar caaddr caaar caadr caar
	  cadaar cadadr caddar cadddr cadar caddr cadr
	  cdaaar cdaadr cdadar cdaddr cdaar cdadr cdar
	  cddaar cddadr cdddar cddddr cddar cdddr cddr
	  char-alphabetic?
	  ceiling
	  char-ci<=? char-ci<? char-ci=? char-ci>=? char-ci>?
	  char-downcase char-lower-case? char-numeric?
	  char-upcase
	  char-upper-case? char-whitespace? char<=?
	  char>=? char>?
	  equal? eqv? even? expt
	  for-each
	  gcd
	  inexact?
	  lcm length list list->string list->vector
	  list?				;New in R4RS
	  list-ref list-tail
	  map max member memq memv min modulo
	  negative? not null?
	  odd?
	  positive?
	  rationalize
	  reverse
	  round 
	  string string->list
	  string-append
	  string-ci<=? string-ci<? string-ci=? string-ci>=? string-ci>?
	  string-fill!
	  string<=? string<? string=? string>=? string>?
	  substring
	  truncate
	  vector->list vector-fill!
	  zero?))

(define-interface scheme-level-1x-interface
  (compound-interface scheme-level-1x-adds-interface
		      scheme-level-0-interface))

(define-interface scheme-level-1-interface
  (compound-interface scheme-level-1x-interface
		      (export (syntax-rules expand :syntax)
			      (delay :syntax)
			      force)))

(define-interface util-low-interface
  (export reduce any x->boolean))

(define-interface util-interface
  (compound-interface
   util-low-interface
   (export every
	   filter
	   fold fold->2 fold->3
	   last
	   first
	   posq
	   posv
	   posqual
	   sublist
	   insert
	   unspecific
	   symbol-append

	   (receive :syntax))))

; Level 2 consists of harder things built on level 1.

(define-interface records-internal-interface
  (export :record-type
	  disclose-record
	  initialize-records!))

(define-interface record-types-interface
  (export make-record-type
	  record-constructor
	  record-standard-constructor
	  record-accessor
	  record-modifier
	  record-predicate
	  define-record-discloser
	  define-record-resumer
	  record-type?
	  record-type<=?
	  record-type-field-names
	  record-type-name
	  record-type-parent
	  record-type-data
	  record-type-size
	  set-record-type-data!
	  ))

(define-interface define-record-types-interface
  (export (define-record-type :syntax)
	  define-record-discloser))

(define-interface methods-interface
  (export (define-generic :syntax)
	  (define-method :syntax)
	  (define-simple-type :syntax)
	  <values>
	  <value>
	  <number>
	  <complex>
	  <real>
	  <rational>
	  <integer>
	  <exact-integer>
	  <boolean>
	  <symbol>
	  <char>
	  <null>
	  <pair>
	  <vector>
	  <string>
	  <procedure>
	  <input-port>
	  <output-port>
	  <eof-object>
	  <record>
	  :record-type
	  <zero>
	  singleton
	  disclose &disclose))

(define-interface meta-methods-interface
  (export type-predicate &type-predicate
	  type-priority  &type-priority
	  type-superiors &type-superiors
	  same-type?	 &same-type?
	  add-method!	 &add-method!
	  set-final-method!
	  make-method-table
	  method-table-get-perform
	  make-simple-type
	  ;; Hooks for DOODL or other future extension
	  :simple-type :method-info :method-table :singleton
	  make-generic
	  (method-info :syntax)
	  methods->perform))

(define-interface number-i/o-interface
  (export number->string &number->string
	  string->number
	  really-string->number &really-string->number ;exactness argument
	  string->integer))

(define-interface fluids-interface
  (export make-fluid
	  let-fluid
	  let-fluids
	  fluid
	  
	  fluid-cell-ref
	  fluid-cell-set!

	  set-fluid!))		; deprecated

(define-interface fluids-internal-interface
  (export initialize-dynamic-state!
	  current-thread
	  set-current-thread!
	  get-dynamic-env		; wind.scm, env/command-level.scm
	  set-dynamic-env!		; wind.scm, env/command-level.scm
	  get-dynamic-point		; wind.scm
	  set-dynamic-point!))		; wind.scm

(define-interface enumerated-interface
  (export (define-enumeration :syntax)
	  (enum :syntax)
	  (enumerand->name :syntax)
	  (name->enumerand :syntax)))

(define :enumeration :syntax)

(define-interface low-exceptions-interface
  (export ((error
	    assertion-violation
	    implementation-restriction-violation
	    warning note
	    syntax-violation)
	   (proc (:value :string &rest :value) :values))))

(define-interface low-exceptions-internal-interface
  (export initialize-low-exception-procedures!))

(define-interface handle-interface
  (export ignore-errors report-errors-as-warnings with-handler))

(define-interface conditions-interface
  (export condition
	  condition?
	  simple-conditions
	  condition-predicate
	  condition-accessor
	  define-condition-type
	  &condition
	  &message
	  make-message-condition
	  message-condition?
	  condition-message
	  &warning
	  make-warning
	  warning?
	  &serious
	  make-serious-condition
	  serious-condition?
	  &error
	  make-error
	  error?
	  &violation
	  make-violation
	  violation?
	  &non-continuable
	  make-noncontinuable-violation
	  non-continuable-violation?
	  &implementation-restriction
	  make-implementation-restriction-violation
	  implementation-restriction-violation?
	  &lexical
	  make-lexical-violation
	  lexical-violation?
	  &syntax
	  make-syntax-violation
	  syntax-violation?
	  &undefined
	  make-undefined-violation
	  undefined-violation?
	  &assertion
	  make-assertion-violation
	  assertion-violation?
	  &irritants
	  make-irritants-condition
	  irritants-condition?
	  condition-irritants
	  &who
	  make-who-condition
	  who-condition?
	  condition-who

	  &vm-exception make-vm-exception vm-exception?
	  vm-exception-opcode vm-exception-reason
	  &os-error make-os-error os-error?
	  os-error-code
	  &i/o-error make-i/o-error i/o-error?
	  &i/o-port-error make-i/o-port-error i/o-port-error? i/o-error-port
	  &decoding-error make-decoding-error decoding-error?
	  decoding-error-encoding-name
	  decoding-error-bytes decoding-error-start
	  &note make-note note?
	  &interrupt make-interrupt-condition interrupt-condition?
	  interrupt-source
	  decode-condition
	  ))

(define-interface wind-interface
  (export call-with-current-continuation
	  dynamic-wind))

(define-interface i/o-interface
  (export current-input-port current-output-port
	  close-output-port close-input-port

	  read-byte peek-byte write-byte byte-ready?
	  read-char peek-char
	  char-ready?
	  write-char
	  read-block write-block
	  newline
	  write-string			;write.scm
	  with-current-ports
	  current-error-port
	  current-noise-port
	  force-output			;xport.scm
	  port-text-codec set-port-text-codec!
	  output-port-ready?
	  input-port?
	  output-port?
	  silently
	  make-null-output-port))

(define-interface text-codecs-interface
  (export spec->text-codec text-codec->spec
	  text-codec? make-text-codec
	  text-codec-names
	  text-codec-decode-char-proc
	  text-codec-encode-char-proc

	  (define-text-codec :syntax)
	  find-text-codec

	  null-text-codec
	  us-ascii-codec
	  latin-1-codec
	  utf-8-codec
	  utf-16le-codec utf-16be-codec
	  utf-32le-codec utf-32be-codec))

(define-interface encodings-interface
  (export char-encoding-length
	  string-encoding-length
	  encode-char
	  encode-string
	  string->bytes-n
	  string->bytes
	  bytes-string-size
	  decode-char
	  decode-string
	  bytes->string bytes->string-n
	  
	  char-encoding-length/utf-8
	  string-encoding-length/utf-8
	  encode-char/utf-8
	  encode-string/utf-8
	  string->utf-8-n
	  string->utf-8
	  bytes-string-size/utf-8
	  decode-char/utf-8
	  decode-string/utf-8
	  utf-8->string utf-8->string-n

	  (encoding-status :enumeration)
	  (decoding-status :enumeration)))

(define-interface os-strings-interface
  (export os-string?
	  make-os-string 
	  string->os-string byte-vector->os-string x->os-string
	  string->os-byte-vector x->os-byte-vector
	  os-string->string os-string->byte-vector
	  os-string-text-codec
	  os-string=?
	  call-with-os-string-text-codec
	  current-os-string-text-codec))

(define-interface i/o-internal-interface
  (export input-port-option		;read.scm
	  output-port-option		;write.scm

	  initialize-i/o                ;init.scm
	  initialize-i/o-handlers!      ;init.scm

	  disclose-port

	  make-buffered-input-port
	  make-buffered-output-port make-unbuffered-output-port

	  make-port-handler
	  port-handler-discloser port-handler-close
	  port-handler-byte port-handler-char port-handler-block
	  port-handler-ready? port-handler-force

	  make-buffered-input-port-handler
	  make-buffered-output-port-handler
	  make-unbuffered-output-port-handler
	 
	  ;port-handler-buffer-proc     ; extended-ports
	  default-buffer-size

	  open-input-port?
	  open-input-port-status
	  make-input-port-closed!
	  open-output-port?
	  open-output-port-status
	  make-output-port-closed!

	  eof-object                   ; users will probably want this

	  note-buffer-reuse!
	  check-buffer-timestamp!

	  force-output-if-open
	  periodically-force-output!
	  periodically-flushed-ports
	  output-port-forcers

	  call-with-current-input-port
	  call-with-current-output-port
	  call-with-current-noise-port))

(define-interface channel-i/o-interface
  (export channel-maybe-commit-and-read
	  channel-maybe-commit-and-write
	  channel-maybe-commit-and-close
	  channel-write

	  initialize-channel-i/o!       ;scheduler
	  waiting-for-i/o?              ;scheduler
	  abort-unwanted-reads!		;scheduler

	  ; call this with interrupts disabled
	  wait-for-channel))		;big/socket.scm

(define-interface channel-ports-interface
  (export call-with-input-file call-with-output-file
	  with-input-from-file with-output-to-file
	  open-input-file open-output-file

	  input-channel->port           ;usual-resumer, posix
	  output-channel->port          ;usual-resumer, posix

	  input-channel+closer->port    ;big/socket.scm
	  output-channel+closer->port	;big/socket.scm
	  
	  port->channel			;posix
	  force-channel-output-ports!))	;posix

(define-interface threads-interface
  (export thread?
	  thread-name thread-uid        ;for debugging
	  current-thread

	  spawn
	  relinquish-timeslice
	  sleep
	  terminate-current-thread))

(define-interface threads-internal-interface
  (export make-thread
	  thread-data set-thread-data!
	  thread-continuation           ;debugger
	  thread-uid->thread            ;expensive!
	  thread-scheduler set-thread-scheduler!
	  thread-dynamic-env set-thread-dynamic-env!
	  set-thread-arguments!

	  event-pending?
	  get-next-event!
	  schedule-event
	  (event-type :syntax)

	  run
	  running?
	  
	  maybe-commit-and-block
	  maybe-commit-and-block-on-queue
	  maybe-commit-and-make-ready
	  maybe-commit-no-interrupts
	  spawn-on-scheduler spawn-on-root
	  wait-for-event
	  upcall propogate-upcall
	  interrupt-thread
	  kill-thread!
	  terminate-thread!
	  make-deadlock-condition deadlock-condition?

	  thread-queue-empty?
	  maybe-dequeue-thread!

	  register-dozer!
	  wake-some-threads

	  all-threads                   ; for command-levels

	  with-threads))		; rts/init.scm

(define-interface scheduler-interface
  (export run-threads
	  run-threads-with-housekeeper
	  round-robin-event-handler

	  make-counter            ; for thread counts
	  counter-value set-counter!
          increment-counter!
          decrement-counter!))

(define-interface queues-interface
  (export queue?

          ;; Constructors.
          make-queue
          list->queue

          ;; Queue operations.
          queue-empty?
          enqueue!
          enqueue-many!
          queue-head-or-thunk
	  queue-head-or-value
          queue-head
          maybe-queue-head
          dequeue-or-thunk!
	  dequeue-or-value!
          dequeue!
          maybe-dequeue!
          empty-queue!

          ;; The following operations are *very* slow, and may be
          ;; removed in a future revision.
          queue->list
          queue-length
          on-queue?
          delete-from-queue!))

(define-interface queues-internal-interface
  ;; Exported for testing.
  (export list->queue-list))

(define-interface exceptions-interface
  (compound-interface (export with-exception-handler
			      raise raise-continuable
			      (guard :syntax)
			      (assert :syntax))
		      low-exceptions-interface))

(define-interface exceptions-internal-interface
  (export initialize-exceptions!
	  really-signal-condition))

(define-interface signal-conditions-interface
  (export signal-condition))

(define-interface vm-exceptions-interface
  (export define-vm-exception-handler
	  initialize-vm-exceptions!
	  extend-opcode!
	  signal-vm-exception
	  vm-exception-reason->message))

(define-interface interrupts-interface
  (export initialize-interrupts!	;init.scm
	  all-interrupts
	  no-interrupts
	  ;reset-timer-interrupts!
	  set-interrupt-handler!
	  get-interrupt-handler
	  interrupt-condition?
	  ;set-timer-interrupt!
	  schedule-interrupt
	  set-enabled-interrupts!	;command.scm
	  enabled-interrupts
	  enable-interrupts!
	  disable-interrupts!
	  with-interrupts-allowed
	  with-interrupts-inhibited
	  call-after-gc!
	  call-before-heap-overflow!
	  (interrupt :syntax)))

(define-interface external-events-interface
  (export initialize-external-events!	;init.scm
	  waiting-for-external-events?  ;root-scheduler.scm
	  wait-for-external-event))

(define-interface writing-interface
  (export write
	  display
	  recurring-write))

(define-interface reading-interface
  (export read
	  define-sharp-macro		;command.scm
	  reading-error
	  gobble-line
	  sub-read sub-read-carefully))

; Level 2: the harder stuff.
; Various primitives get numeric types and promoted to n-ary at this point.

(define-interface scheme-level-2-adds-interface
  (export (char-ready? (proc (&opt :input-port) :boolean))
	  call-with-current-continuation
	  call-with-input-file call-with-output-file
	  current-input-port current-output-port
	  dynamic-wind			;New in R5RS
	  close-input-port close-output-port
	  open-input-file open-output-file
	  with-input-from-file with-output-to-file
	  number->string string->number
	  read-char peek-char write-char
	  newline display write
	  read))

(define-interface scheme-level-2-interface
  (compound-interface scheme-level-2-adds-interface
		      scheme-level-1-interface))

(define-interface scheme-adds-interface
  (export eval load
	  interaction-environment
	  scheme-report-environment
	  null-environment))

(define-interface scheme-interface
  (compound-interface scheme-adds-interface
		      scheme-level-2-interface))

(define-interface continuations-interface
  (export continuation-arg
	  continuation-arg-count
	  continuation-cont
	  continuation-pc
	  continuation-code
	  continuation-template
	  continuation?
	  <continuation>

	  vm-exception-continuation?
	  vm-exception-continuation-exception

	  continuation-preview)) ; env/debug.scm

(define-interface templates-interface
  (export make-template
	  template-code
	  template-byte-code
	  template-info
	  template-package-id
	  template-length
	  template-ref
	  template-overhead
	  set-template-code!
	  set-template-byte-code!
	  set-template-info!
	  set-template-package-id!
	  template-set!
	  template?))

(define-interface weak-interface
  (export weak-pointer?			;disclosers.scm
	  weak-pointer-ref
	  make-weak-pointer
	  make-population
	  add-to-population!
	  population->list
	  walk-population))

(define-interface filenames-interface
  (export namestring *scheme-file-type* *load-file-type*
	  file-name-directory
	  file-name-nondirectory
	  translate
	  set-global-translation!
	  set-translation!
	  make-translations with-translations
	  current-translations))

; Things for the compiler.

(define-interface general-tables-interface
  (export make-table
	  make-string-table
	  make-symbol-table
	  make-integer-table
	  make-datum-table
	  make-table-maker
	  table?
          table-size
	  table-ref
	  table-set!
	  table-walk table->entry-list
	  make-table-immutable!

	  string-hash symbol-hash datum-hash
	  default-hash-function))

;----------------
; Beginning of compiler interfaces

(define-interface usual-macros-interface
  (export usual-transform
	  define-usual-transforms))

(define-interface meta-types-interface
  (export ; same-type? ; conflicts with `same-type?' from methods
	  subtype?
	  meet?
	  join-type
	  meet-type
	  sexp->type type->sexp rail-type->sexp
	  syntax-type syntax-type?
	  any-values-type
	  any-arguments-type
	  value-type value-type?
	  error-type

	  make-some-values-type

	  empty-rail-type
	  rail-type
	  make-optional-type
	  make-rest-type
	  empty-rail-type?
	  rest-type?
	  head-type
	  tail-type

	  procedure-type
	  procedure-type-domain
	  procedure-type-codomain
	  restrictive?
	  procedure-type?
	  fixed-arity-procedure-type?
	  procedure-type-argument-types
	  procedure-type-arity
	  any-procedure-type
	  (proc :syntax)

	  boolean-type
	  char-type
	  null-type
	  unspecific-type

	  exact-integer-type
	  integer-type
	  rational-type
	  real-type
	  complex-type
	  number-type
	  exact-type
	  inexact-type

	  pair-type
	  string-type
	  symbol-type
	  vector-type

	  escape-type
	  structure-type

	  ;; Stuff moved back from syntactic - why was it moved there?
	  variable-type
	  variable-type?
	  variable-value-type
	  usual-variable-type
	  undeclared-type

	  compatible-types?))

(define-interface names-interface
  (export name?
	  name->symbol

	  make-name-generator
	  generate-name

	  make-name-table

          desyntaxify
	  ))

(define-interface syms-interface
  (export make-sym sym?
	  sym-pretty-string sym-unique-string sym-hash))

(define-interface syntax-objects-internal-interface
  (export make-syntax-object
	  syntax-object-context syntax-object-expr
	  make-syntax
	  make-mark make-mark-with-uid
	  add-mark mark? 
	  mark-token mark-phase mark-transform-env mark-identifier mark-uid
	  syntax-object-marks marks-of marks=?
	  make-rename add-rename rename?
	  rename-from-name rename-from-marks rename-to-name rename-to-phase
	  add-definition-context
	  really-make-definition-context
	  definition-context?
	  definition-context-resolved-table
	  definition-context-renames set-definition-context-renames!
	  in-package-context
	  add-phase-shift
	  phase-shift?
	  phase-shift-delta
	  package-context? package-context-package package-context-phase
	  package-reference-syntax
	  make-operator-syntax
	  operator-context? operator-context-ref
	  operator-syntax
	  self-quoting?))

(define-interface syntax-objects-interface
  (export syntax?
	  syntax-e
	  datum->syntax
	  add-context
	  identifier?
	  bound-identifier=?
	  syntax->list
	  syntax->datum
	  identifier
	  generate-temporary generate-temporaries
	  syntaxify
	  syntax->list
	  stx-null? stx-pair? stx-list?
	  stx-car stx-cdr stx-cadr
	  stx->list
	  stx-2list?
	  stx-this-long? stx-at-least-this-long?
	  stx-vector))

(define-interface syntax-object-utils-interface
  (export syntax/call syntax/lambda syntax/begin syntax/quote syntax/code-quote 
	  syntax/let-syntax syntax/if syntax/set! syntax/pure-letrec
	  syntax/define syntax/define-syntax
	  syntax/primitive-procedure
	  syntax/unspecific
	  kernel-form-identifier-list
	  scan-let-like
	  id-in-list?
	  check-duplicates
	  formals->identifiers
	  body->expression))

(define-interface syntax-resolution-interface
  (export free-identifier=?
	  resolve
	  resolve+lookup
	  resolve+label
	  $expand-time-environment
	  current-expand-time-environment
	  transform-current-expand-time-environment!
	  current-phase))

(define-interface syntax-expand-interface
  (export expand-forms 
	  expand-form
	  static-value
	  syntax-local-introduce
	  syntax-local-value
	  syntax-local-bind-syntaxes
	  local-expand
	  syntax-local-make-definition-context))

(define-interface syntax-transformers-interface
  (export make-transformer/free-identifier=?
	  transformer/free-identifier=??
	  transformer/free-identifier=?-proc))

(define-interface transforms-interface
  (export make-transform/macro
	  make-transform/inline
	  maybe-apply-macro-transform
	  macro-transform-procedure
	  apply-inline-transform
	  macro-transform? inline-transform?
	  inline-transform-type

	  inline-transform-env
	  macro-transform-env
	  ;; These are used to reify transforms.
	  inline-transform-source
	  inline-transform-id macro-transform-id

	  make-transform)) ; backwards compatibility for the PreScheme compiler

(define-interface name+phase-tables-interface
  (export make-name+phase-table
	  name+phase-table-ref
	  name+phase-table-set!
	  name+phase-table-walk
	  name+phase-table-walk-phases
	  make-name+phase-table-immutable!))

(define-interface bindings-interface
  (export binding?
	  make-binding
	  binding-place
	  set-binding-place!	;for package mutation, used in package.scm
	  binding-static 
	  set-binding-static! ; for letrec-syntax
	  binding-type

	  clobber-binding!
	  maybe-fix-place!
	  forget-integration
	  impose-type

	  same-denotation?
	  ))

(define-interface qualified-names-interface
  (export make-qualified qualified?
	  name->qualified qualified->name))

(define-interface thingies-interface
  (export make-thingie
	  thingie?
	  thingie-binding
	  thingie-name
	  thingie-assigned?
	  set-thingie-assigned?!
	  make-placecard placecard?
	  placecard-type-sexp
	  placecard-qualified-name
	  placecard-assigned?))

;----------------
; Syntactic interfaces

(define-interface compiler-envs-interface
  (export make-compiler-env
	  compiler-env?
	  lookup
	  bind1 bind

	  comp-env-filter

	  bind-source-file-name
	  source-file-name

	  comp-env-define!
	  
	  comp-env-phase
	  comp-env-next-phase comp-env-bump-phase

	  comp-env-package)) ; temporary

(define-interface syntax-rules-data-interface
  (export make-pattern-variable
          pattern-variable?
          pattern-variable-name
          pattern-variable-rank

          make-ellipsis-form
          ellipsis-form?
          ellipsis-form-body
          ellipsis-form-vars

          make-vector-marker
          vector-marker?
          vector-marker-contents))

(define-interface syntax-rules-apply-interface
  (export make-pattern-env match? rewrite))

(define-interface nodes-interface
  (export make-node

	  node?
	  node-operator
	  node-operator-id
	  node-form
	  node-ref
	  node-set!
	  node-predicate

	  make-similar-node
	  force-node
	  schemify

	  get-operator
	  make-operator-table
	  operator-name
	  operator-nargs
	  operator-table-ref
	  operator-define!
	  operator-lookup
	  operator-type
	  operator-uid
	  operator?
	  operators-table		;config.scm comp-package.scm

	  lambda-node?
	  flat-lambda-node?
	  name-node?
	  call-node?
	  literal-node?
	  quote-node?
	  define-node?
	  loophole-node?

	  operator/flat-lambda
	  operator/lambda
	  operator/set!
	  operator/call
	  operator/begin
	  operator/name
	  operator/if
	  operator/letrec
	  operator/letrec*
	  operator/pure-letrec
	  operator/literal
	  operator/quote
	  operator/unassigned
	  operator/unspecific
	  operator/define
	  operator/define-syntax
	  operator/primitive-procedure
	  ))

;----------------
; Compiler interfaces

(define-interface segments-interface
  (export attach-label
	  byte-limit two-byte-limit
	  high-byte low-byte
	  empty-segment
	  instruction
	  instruction-using-label
	  using-optional-label
	  jump-instruction
	  computed-goto-instruction
	  stack-shuffle-instruction
	  continuation-data
          lambda-protocol nary-lambda-protocol
          nary-primitive-protocol continuation-protocol
          cwv-continuation-protocol
          make-dispatch-protocol
	  make-label label?
	  label-reference
	  note-environment
	  note-source-code
	  segment->cv segment->template
	  segment-size
	  sequentially
	  with-package-key))

(define-interface compiler-interface
  (export compile-forms
	  compile-rhs
	  compile-syntax-forms
          make-startup-procedure	;link/link.scm
	  set-type-check?!		; for timings
	  define-compilator		;assem.scm
	  deliver-value			;assem.scm
	  ))

(define-interface bc-generation-interface
  (export call-instruction
	  stack-ref-instruction
	  stack-set!-instruction
	  stack-indirect-instruction
	  integer-literal-instruction
	  push+stack-ref-instruction
	  push+stack-indirect-instruction
	  push-instruction))

(define-interface frames-interface
  (export make-frame
	  frame-size
	  frame-literals
	  frame-debug-data
	  template-offset
	  environment-offset
	  depth-check!
	  index->offset
	  literal->index
	  binding->index))

(define-interface primops-interface
  (export define-compiler-primitive
	  primop?
	  primop-name
	  primop-type
	  primop-closed
	  primop-compilator

	  get-primop
	  walk-primops			;comp-package.scm
	  ))

(define-interface debug-data-interface
  (export debug-data-env-maps
	  debug-data-env-shape
	  debug-data-name
	  debug-data-parent
	  debug-data-jump-back-dests
	  debug-data-source
	  debug-data-uid
	  debug-data?
	  get-debug-data))

(define-interface debug-data-internal-interface
  (export make-debug-data
	  set-debug-data-source!
	  set-debug-data-env-maps!
	  set-debug-data-jump-back-dests!
	  debug-flag-names		; keep and flush commands
	  debug-flag-accessor
	  debug-flag-modifier
	  debug-data-table

	  with-fresh-compiler-state     ;for linker

	  keep-source-code?		;for bcomp
	  keep-environment-maps?
	  keep-file-names?
	  keep-procedure-names?

	  new-debug-data
	  debug-data->info))

;----------------
; Module interfaces

; Interfaces.

(define-interface interfaces-interface
  (export make-simple-interface
	  make-compound-interface
	  make-modified-interface-maker
	  note-reference-to-interface!
	  interface-ref
	  interface-member?
	  interface?
	  interface-clients
	  for-each-declaration
	  for-each-phase
	  note-interface-name!))

; Packages.

(define-interface packages-interface
  (export make-package
	  make-simple-package		;start.scm
	  make-structure
	  make-modified-structure
	  package-define!
	  package-lookup
	  package-lookup-at-phase
	  package-lookup-generated-name-at-phase
	  package?			;command.scm
	  structure-lookup		;env.scm
	  generic-lookup		;inline.scm
	  structure-interface		;config.scm
	  package->environment
	  structure?
	  package-uid			;reifier
	  make-new-location		;ctop.scm
	  structure-package
	  note-structure-name!
	  (:package :type)

	  package-syntactic-tower
	  package-macro-compile-syntax-node
	  ))

(define-interface packages-internal-interface
  (export package-visited? set-package-visited?!
	  package-invoked? set-package-invoked?!
	  package-invoke-template set-package-invoke-template! ;env/load-package.scm
	  package-visit-template set-package-visit-template!
	  package-all-operators? set-package-all-operators?!
	  package-usual-transforms set-package-usual-transforms!
	  package-optimizers set-package-optimizers!
	  package-phase set-package-phase!
	  package-name
	  package-lookup-definition
	  flush-location-names
	  package-name-table		;debuginfo
	  location-info-table		;debuginfo, disclosers
	  package-definition
	  package-unstable?		;env/pacman.scm
	  environment-stable?           ;comp/schemify.scm
	  package-integrate?		;env/debug.scm
	  package-add-static!		;opt/analyze.scm
	  package-refine-type!		;opt/usage.scm

	  ;; For scanner
	  for-each-export
	  package-clauses
	  package-file-name
	  package-reader set-package-reader!
	  package-expander set-package-expander!
	  package-opens
	  set-package-integrate?!
	  structure-name

	  ;; For compiler
	  call-with-lookup-package
	  check-package-for-duplicates!

	  ;; For package mutation
	  for-each-definition
	  set-structure-interface!
	  structure-clients
	  for-each-structure-client
	  package-add-opens!
	  package-initialized?
	  package-undefineds
	  package-undefined-but-assigneds
	  structure-interface-really
	  make-new-location
	  $get-location
	  set-package-get-location!
	  initialize-structure!
	  initialize-package!
	  package-remove-definition!

	  package-cached
	  package-clients

	  ;; For linker
	  package-macro-opens-table
	  package-make-lookup-package set-package-make-lookup-package!
	  force-suspension
	  package-macro-opens->alist
	  env-bump-phase
	  env->package
	  env-phase
	  package-recreate-opens
	  package-definitions package-generated-definitions
	  ))

(define-interface scan-package-interface
  (export collect-packages
	  package-source
	  check-structure))

(define-interface optimizer-interface
  (export set-optimizer!
	  get-optimizer))

(define-interface compile-packages-interface
  (export compile-package
	  define-operators))

(define-interface dynamic-linker-interface
  (export link link!
	  location-for-reference
	  search-opens-export
	  package-note-caching!
	  freeze-template!))

(define-interface undefined-interface
  (export noting-undefined-variables
	  $note-undefined		;env/command.scm
	  ))

;----------------
; Inlining

(define-interface inline-interface
  (export make-inline-transform
	  reflect-inline-transform		;bcomp/for-reify.scm
	  copy-inline-transform))

(define-interface usages-interface
  (export find-usages
	  find-node-usages
	  usage-name-node
	  usage-reference-count
	  usage-operator-count
	  usage-assignment-count))

; End of compiler interfaces
;----------------

(define-interface environments-interface  ;cheesy
  (export *structure-ref
	  environment-define!
	  environment-ref
	  environment-set!
	  interaction-environment
	  make-syntactic-tower
	  make-lookup-package-maker
	  scheme-report-environment
	  null-environment
	  set-interaction-environment!
	  set-scheme-report-environment!
	  with-interaction-environment
	  set-syntactic-tower-maker!
	  set-reflective-tower-maker! ; backwards compatibility for PreScheme compiler
	  set-reader!))

(define-interface defpackage-interface
  (export ((def			        ;Formerly define-structure
	    define-interface		;Formerly define-signature
	    define-structures		;Formerly define-package
	    define-structure
	    define-module
	    define-syntax
	    define-reader
	    define-syntactic-tower-maker
	    export-syntactic-tower-maker
	    export-reflective-tower-maker ; backwards compatibility for PreScheme compiler
	    compound-interface
	    modify subset with-prefix for
	    export
	    structure structures let	; New
	    begin			; mostly for macros
	    define			; for compatibility?
	    a-package)			; cf. env/init-defpackage.scm
	   :syntax)
	  values
	  interface-of
	  set-verify-later!))

(define-interface types-interface
  (export ((:syntax :values :arguments :value) :type)
	  (procedure (proc (:type :type) :type))  ; (procedure T1 T2)
	  (proc :syntax)		; (proc (T1 ... Tn) T)
	  ((:boolean
	    :char
	    :number
	    :complex :real :rational :integer :exact-integer
	    :null
	    :unspecific
	    :pair
	    :string
	    :symbol
	    :vector
	    :procedure
	    :input-port :output-port
	    :error
	    :escape)
	   :type)
	  (:structure :type)
	  :type))		;Holy stratification, Batman!

(define-interface evaluation-interface
  (export eval load load-into load-script-into eval-from-file 
	  compile-syntax-node
	  ))

(define-interface load-filenames-interface
  (export with-load-filename
	  current-load-filename))

(define-interface load-packages-interface
  (export ensure-instantiated ensure-loaded
	  invoke-package visit-package))

(define-interface copy-packages-interface
  (export copy-package))

; Bindings needed by the form composed by REIFY-STRUCTURES.

(define-interface for-reification-interface
  (export operator
	  simple-interface
	  package
	  primop
	  ;; From usual-macros
	  usual-transform
	  ;; From inline
	  reflect-inline-transform
	  ;; From packages
	  package-define-static!
	  ;; From primops
	  make-structure
	  ))

;(define-interface command-interface ...)  -- moved to more-interfaces.scm

