Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Synchronized names for uninintialized slot reporters #1011

Merged
merged 1 commit into from
Oct 6, 2023
Merged

Synchronized names for uninintialized slot reporters #1011

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions src/codegen/ast.lisp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -175,8 +175,8 @@

(defstruct (node-field (:include node))
"Accessing a superclass on a typeclass dictionary"
(name (util:required 'field) :type parser:identifier :read-only t)
(dict (util:required 'dict) :type node :read-only t))
(name (util:required 'name) :type parser:identifier :read-only t)
(dict (util:required 'dict) :type node :read-only t))

(defstruct (node-dynamic-extent (:include node))
"A single stack allocated binding"
Expand Down
10 changes: 5 additions & 5 deletions src/doc/generate-documentation.lisp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -23,11 +23,11 @@

(defstruct (documentation-struct-entry
(:include documentation-entry))
(type (util:required 'type) :type tc:ty :read-only t)
(tyvars (util:required 'tyvars) :type tc:tyvar-list :read-only t)
(fields (util:required 'fields) :type util:string-list :read-only t)
(field-tys (util:required 'field-types) :type hash-table :read-only t)
(instances (util:required 'instances) :type tc:ty-class-instance-list :read-only t))
(type (util:required 'type) :type tc:ty :read-only t)
(tyvars (util:required 'tyvars) :type tc:tyvar-list :read-only t)
(fields (util:required 'fields) :type util:string-list :read-only t)
(field-tys (util:required 'field-tys) :type hash-table :read-only t)
(instances (util:required 'instances) :type tc:ty-class-instance-list :read-only t))

(defun documentation-struct-entry-list-p (x)
(and (alexandria:proper-list-p x)
Expand Down
2 changes: 1 addition & 1 deletion src/error.lisp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -129,7 +129,7 @@
(defstruct (coalton-file
(:copier nil))
(stream (util:required 'stream) :type stream :read-only t)
(name (util:required 'file) :type string :read-only t))
(name (util:required 'name) :type string :read-only t))

(defstruct (coalton-error
(:copier nil))
Expand Down
2 changes: 1 addition & 1 deletion src/parser/expression.lisp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -299,7 +299,7 @@
;;
(defstruct (node-body
(:copier nil))
(nodes (util:required 'node) :type node-body-element-list :read-only t)
(nodes (util:required 'nodes) :type node-body-element-list :read-only t)
(last-node (util:required 'last-node) :type node :read-only t))

(defstruct (node-abstraction
Expand Down
4 changes: 2 additions & 2 deletions src/parser/toplevel.lisp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -255,7 +255,7 @@
(defstruct (struct-field
(:copier nil))
(name (util:required 'name) :type string :read-only t)
(type (util:required 'ty) :type ty :read-only t)
(type (util:required 'type) :type ty :read-only t)
(source (util:required 'source) :type cons :read-only t))

(eval-when (:load-toplevel :compile-toplevel :execute)
Expand Down Expand Up @@ -366,7 +366,7 @@
(defstruct (instance-method-definition
(:copier nil))
(name (util:required 'name) :type node-variable :read-only t)
(params (util:required 'vars) :type pattern-list :read-only t)
(params (util:required 'params) :type pattern-list :read-only t)
(body (util:required 'body) :type node-body :read-only t)
(source (util:required 'source) :type cons :read-only t))

Expand Down
2 changes: 1 addition & 1 deletion src/typechecker/environment.lisp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -222,7 +222,7 @@
(name (util:required 'name) :type symbol :read-only t)
(runtime-type (util:required 'runtime-type) :type t :read-only t)
(type (util:required 'type) :type ty :read-only t)
(tyvars (util:required 'tvars) :type tyvar-list :read-only t)
(tyvars (util:required 'tyvars) :type tyvar-list :read-only t)
(constructors (util:required 'constructors) :type util:symbol-list :read-only t)

;; An explicit repr defined in the source, or nil if none was supplied. Computed repr will be reflected in
Expand Down
14 changes: 7 additions & 7 deletions src/typechecker/expression.lisp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -200,14 +200,14 @@

(defstruct (node-body
(:copier nil))
(nodes (util:required 'node) :type node-body-element-list :read-only t)
(nodes (util:required 'nodes) :type node-body-element-list :read-only t)
(last-node (util:required 'last-node) :type node :read-only t))

(defstruct (node-abstraction
(:include node)
(:copier nil))
(params (util:required 'vars) :type pattern-list :read-only t)
(body (util:required 'body) :type node-body :read-only t))
(params (util:required 'params) :type pattern-list :read-only t)
(body (util:required 'body) :type node-body :read-only t))

(defstruct (node-let-binding
(:copier nil))
Expand Down Expand Up @@ -287,7 +287,7 @@
(:include node)
(:copier nil))
(expr (util:required 'expr) :type node :read-only t)
(then (util:required 'expr) :type node :read-only t)
(then (util:required 'then) :type node :read-only t)
(else (util:required 'else) :type node :read-only t))

(defstruct (node-when
Expand Down Expand Up @@ -322,9 +322,9 @@

(defstruct (node-do-bind
(:copier nil))
(pattern (util:required 'name) :type pattern :read-only t)
(expr (util:required 'expr) :type node :read-only t)
(source (util:required 'source) :type cons :read-only t))
(pattern (util:required 'pattern) :type pattern :read-only t)
(expr (util:required 'expr) :type node :read-only t)
(source (util:required 'source) :type cons :read-only t))

(deftype node-do-body-element ()
'(or node node-bind node-do-bind))
Expand Down
8 changes: 4 additions & 4 deletions src/typechecker/toplevel.lisp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -43,10 +43,10 @@

(defstruct (toplevel-define
(:copier nil))
(name (util:required 'name) :type node-variable :read-only t)
(params (util:required 'pattern-list) :type pattern-list :read-only t)
(body (util:required 'body) :type node-body :read-only t)
(source (util:required 'source) :type cons :read-only t))
(name (util:required 'name) :type node-variable :read-only t)
(params (util:required 'params) :type pattern-list :read-only t)
(body (util:required 'body) :type node-body :read-only t)
(source (util:required 'source) :type cons :read-only t))

(eval-when (:load-toplevel :compile-toplevel :execute)
(defun toplevel-define-list-p (x)
Expand Down