capture unvalidated notes from parser as todos

This commit is contained in:
Scott Richmond 2024-05-13 21:07:27 -04:00
parent 7018949845
commit 3b3071adb0

View File

@ -14,6 +14,8 @@ Tracking here, before I start writing this code, the kinds of validation we're h
* [ ] `loop` form arity checking
* [ ] arity checking of explicit named function calls
* [ ] flag tail calls
Imports are for a later iteration of Ludus:
* [ ] no circular imports DEFERRED
* [ ] correct imports DEFERRED
@ -151,6 +153,23 @@ Tracking here, before I start writing this code, the kinds of validation we're h
(set (ctx name) ast)
validator)
(def types [
:nil
:number
:keyword
:bool
:string
:set
:tuple
:dict
:list
:fn
:ref
:pkg
:ns
:
])
(defn- pattern* [validator]
(def ast (validator :ast))
(def type (ast :type))
@ -227,7 +246,7 @@ Tracking here, before I start writing this code, the kinds of validation we're h
### TODO:
# * [ ] arity checking if first term is name that resolves to a function and args aren't partial
# * [ ] ensure properties are on pkgs (prev term in synth is a pkg)
# * [ ] ensure properties are on pkgs (if *only* pkgs from root)
# * [ ] flag tail calls (where last term is not-partial args)
(defn- synthetic [validator]
(def ast (validator :ast))
@ -259,6 +278,8 @@ Tracking here, before I start writing this code, the kinds of validation we're h
(defn- panic [validator])
(defn- testt [validator])
(defn- validate* [validator]
(def ast (validator :ast))
(def type (ast :type))