;; -*-theme-*-

;; Copyright (C) 2024  Tommi Höynälänmaa
;; Distributed under GNU Lesser General Public License version 3,
;; see file doc/LGPL-3.

;; Expected results: translation and running OK


(define-proper-program (examples bits)
  
  (import (standard-library core)
          (standard-library console-io))
  
  (define <bit>
    (:union (:singleton-type 0) (:singleton-type 1)))
  
  (define-simple-method my-and
      (((bit1 (:singleton-type 0)) (bit2 (:singleton-type 0))) <bit> pure)
    0)
  
  (define-simple-method my-and
      (((bit1 (:singleton-type 0)) (bit2 (:singleton-type 1))) <bit> pure)
    0)
  
  (define-simple-method my-and
      (((bit1 (:singleton-type 1)) (bit2 (:singleton-type 0))) <bit> pure)
    0)
  
  (define-simple-method my-and
      (((bit1 (:singleton-type 1)) (bit2 (:singleton-type 1))) <bit> pure)
    1)
  
  (define-main-proc (() <none> nonpure)
    (console-display-line (my-and 0 0))
    (console-display-line (my-and 0 1))
    (console-display-line (my-and 1 0))
    (console-display-line (my-and 1 1))))
