rpgoldman

org.armedbear.lisp.ProcessingTerminated
        at org.armedbear.lisp.Extensions$quit.execute(Extensions.java:237)
        at org.armedbear.lisp.Symbol.execute(Symbol.java:795)
        at org.armedbear.lisp.LispThread.execute(LispThread.java:892)
        at org.armedbear.lisp.top_level_3.execute(top-level.lisp:62)
        at org.armedbear.lisp.Symbol.execute(Symbol.java:805)
        at org.armedbear.lisp.LispThread.execute(LispThread.java:910)
        at org.armedbear.lisp.top_level_45.execute(top-level.lisp:371)
        at org.armedbear.lisp.Symbol.execute(Symbol.java:805)
        at org.armedbear.lisp.LispThread.execute(LispThread.java:910)

rpgoldman

dspy/signatures/mypy_issue.py:35: error: Too many arguments for "Signature"  [call-arg]
dspy/signatures/mypy_issue.py:35: error: Incompatible return value type (got "Signature", expected "type[Signature]")  [return-value]
Found 2 errors in 1 file (checked 1 source file)

rpgoldman

from typing import overload, Literal, List, Tuple, Any

class Example:
    pass

class Prediction:
    pass


class TestMypy:

rpgoldman

<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<VASSAL.build.GameModule ModuleOther1="Prophecy of kings included" ModuleOther2="" VassalVersion="3.6.7" description="Fantasy Flight Games" name="Twilight Imperium IV" nextPieceSlotId="2010" version="1.42c">
    <VASSAL.build.module.BasicCommandEncoder/>
    <VASSAL.build.module.Documentation>
        <VASSAL.build.module.documentation.AboutScreen fileName="pic3727516.jpg" title="About Module"/>
        <VASSAL.build.module.documentation.HelpFile fileName="/help/Intro.html" fileType="resource" title="Quick Start"/>
    </VASSAL.build.module.Documentation>
    <VASSAL.build.module.PlayerRoster buttonKeyStroke="" buttonText="Retire" buttonToolTip="Allow another player to take your side in this game">
        <entry>Blue</entry>
        <entry>Red</entry>

rpgoldman

(define (domain satellite)
  (:requirements :equality :typing :conditional-effects :negative-preconditions
                 :universal-preconditions :htn-method-prec)
  (:types satellite direction instrument mode)
  (:predicates
   (on_board ?i - instrument ?s - satellite)
   (supports ?i - instrument ?m - mode)
   (pointing ?s - satellite ?d - direction)
   (power_avail ?s - satellite)

rpgoldman

;; openstacks, strips version

(define (domain openstacks-sequencedstrips-ADL-nocosts)
  (:requirements :typing :adl)
  (:types order product count)
  (:predicates (includes ?o - order ?p - product)
               (waiting ?o - order)
               (started ?o - order)
               (shipped ?o - order)
               (goal-shipped ?o - order)

rpgoldman

(define (domain satellite)
  (:requirements :equality :typing :conditional-effects :negative-preconditions
                 :universal-preconditions :htn-method-prec)
  (:types satellite direction instrument mode)
  (:predicates
   (on_board ?i - instrument ?s - satellite)
   (supports ?i - instrument ?m - mode)
   (pointing ?s - satellite ?d - direction)
   (power_avail ?s - satellite)

rpgoldman

;;; -*- Mode: emacs-lisp; -*-

;; templates are handy....
(require 'tempo)

(tempo-define-template
 "read-only-slot"
 (list 
 '(p "Slot name?  " slot-name 'noinsert)
 "(" '(s slot-name) 'n>

rpgoldman

(define (domain satellite)
  (:requirements :equality :typing :conditional-effects :negative-preconditions
                 :universal-preconditions :htn-method-prec)
  (:types satellite direction instrument mode)
  (:predicates
   (on_board ?i - instrument ?s - satellite)
   (supports ?i - instrument ?m - mode)
   (pointing ?s - satellite ?d - direction)
   (power_avail ?s - satellite)

rpgoldman

#number_constants_number_sorts
46 18
#constants
combo1
combo2
east
north
south
west
explorer1