steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

modern.manifest: Trying out an idea to have one syntax-forms per vocabulary-root. 

Starting with core/ first.
modern-harvey3
Doug Coleman 2019-10-22 19:08:20 -05:00
parent 25a8cedcb8
commit ff594f4313
2 changed files with 255 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
extra/modern/manifest/authors.txt Normal file
View File

@ -0,0 +1 @@
Doug Coleman

254
extra/modern/manifest/manifest.factor Normal file
View File

@ -0,0 +1,254 @@
! Copyright (C) 2019 Doug Coleman.
! See http://factorcode.org/license.txt for BSD license.
USING: accessors arrays assocs combinators kernel modern
sequences strings words ;
IN: modern.manifest
TUPLE: syntax-forms
sections
ucolons
lcolons
containers
braces
brackets
parens
ldecorators
rdecorators ;
: <syntax-forms> ( -- syntax-forms )
syntax-forms new
H{ } clone >>sections
H{ } clone >>ucolons
H{ } clone >>lcolons
H{ } clone >>containers
H{ } clone >>braces
H{ } clone >>brackets
H{ } clone >>parens
H{ } clone >>ldecorators
H{ } clone >>rdecorators
; inline
ERROR: key-exists val key assoc existing-value ;
: checked-set-at ( val key assoc -- )
2dup ?at [ key-exists ] [ drop set-at ] if ;
: add-section-form ( syntax-forms parser tag -- syntax-forms ) pick sections>> checked-set-at ;
: add-ucolon-form ( syntax-forms parser tag -- syntax-forms ) pick ucolons>> checked-set-at ;
: add-lcolon-form ( syntax-forms parser tag -- syntax-forms ) pick lcolons>> checked-set-at ;
: add-containers-form ( syntax-forms parser tag -- syntax-forms ) pick containers>> checked-set-at ;
: add-braces-form ( syntax-forms parser tag -- syntax-forms ) pick braces>> checked-set-at ;
: add-brackets-form ( syntax-forms parser tag -- syntax-forms ) pick brackets>> checked-set-at ;
: add-parens-form ( syntax-forms parser tag -- syntax-forms ) pick parens>> checked-set-at ;
: add-ldecorators-form ( syntax-forms parser tag -- syntax-forms ) pick ldecorators>> checked-set-at ;
: add-rdecorators-form ( syntax-forms parser tag -- syntax-forms ) pick rdecorators>> checked-set-at ;
! One syntax-forms per vocab-root
: core-syntax-forms ( -- obj )
<syntax-forms>
! <PRIVATE
"factor-section" "FACTOR" add-section-form
"linux-section" "LINUX" add-section-form
"macos-section" "MACOS" add-section-form
"windows-section" "WINDOWS" add-section-form
"unix-section" "UNIX" add-section-form
"private-section" "PRIVATE" add-section-form
"word" "" add-ucolon-form ! : :: ::: ...
"alias" "ALIAS" add-ucolon-form
"broadcast" "BROADCAST" add-ucolon-form
"builtin" "BUILTIN" add-ucolon-form
"constructor" "C" add-ucolon-form
"constant" "CONSTANT" add-ucolon-form
"consult" "CONSULT" add-ucolon-form
"defer" "DEFER" add-ucolon-form
"error" "ERROR" add-ucolon-form
"exclude" "EXCLUDE" add-ucolon-form
"generic#" "GENERIC#" add-ucolon-form
"generic" "GENERIC" add-ucolon-form
"hints" "HINTS" add-ucolon-form
"hook" "HOOK" add-ucolon-form
"identity-memo" "IDENTITY-MEMO" add-ucolon-form
"in" "IN" add-ucolon-form
"initialized-symbol" "INITIALIZED-SYMBOL" add-ucolon-form
"instance" "INSTANCE" add-ucolon-form
"intersection" "INTERSECTION" add-ucolon-form
"method" "M" add-ucolon-form
"macro" "MACRO" add-ucolon-form
"main" "MAIN" add-ucolon-form
"math" "MATH" add-ucolon-form
"memo" "MEMO" add-ucolon-form
"mixin" "MIXIN" add-ucolon-form
"predicate" "PREDICATE" add-ucolon-form
"primitive" "PRIMITIVE" add-ucolon-form
"protocol" "PROTOCOL" add-ucolon-form
"qualified-with" "QUALIFIED-WITH" add-ucolon-form
"qualified" "QUALIFIED" add-ucolon-form
"rename" "RENAME" add-ucolon-form
"shutdown-hook" "SHUTDOWN-HOOK" add-ucolon-form
"singleton" "SINGLETON" add-ucolon-form
"singletons" "SINGLETONS" add-ucolon-form
"slot-protocol" "SLOT-PROTOCOL" add-ucolon-form
"slot" "SLOT" add-ucolon-form
"startup-hook" "STARTUP-HOOK" add-ucolon-form
"symbol" "SYMBOL" add-ucolon-form
"symbols" "SYMBOLS" add-ucolon-form
"syntax" "SYNTAX" add-ucolon-form
"tuple" "TUPLE" add-ucolon-form
"typed" "TYPED" add-ucolon-form
"union" "UNION" add-ucolon-form
"unuse" "UNUSE" add-ucolon-form
"use" "USE" add-ucolon-form
"using" "USING" add-ucolon-form
"variables-functor" "VARIABLES-FUNCTOR" add-ucolon-form
"initial" "initial" add-lcolon-form
"nan" "nan" add-lcolon-form
"char" "char" add-lcolon-form
"breakpoint" "b" add-lcolon-form
"array-data" "" add-braces-form ! {
"byte-array-data" "B" add-braces-form
"byte-vector-data" "BV" add-braces-form
"callstack-data" "CS" add-braces-form
"complex-data" "C" add-braces-form
"hashset-data" "HS" add-braces-form
"hash-data" "H" add-braces-form
"immutable-hash-data" "IH" add-braces-form
"tuple-hash-data" "TH" add-braces-form
"tuple-data" "T" add-braces-form
"vector-data" "V" add-braces-form
"wrapper-data" "W" add-braces-form
"intersection" "intersection" add-braces-form
"maybe" "maybe" add-braces-form
"not" "not" add-braces-form
"union" "union" add-braces-form
"quotation" "" add-brackets-form ! [ ]
"memoized-quotation" "MEMO" add-brackets-form
"let" "let" add-brackets-form
"binder-quotation" "|" add-brackets-form
"call-paren" "" add-parens-form ! ( )
"call-paren" "call" add-parens-form ! call( )
"execute-paren" "execute" add-parens-form
"string" "" add-containers-form ! "" [[ ]] [=[ ]=] ...
"interpolate" "I" add-containers-form
"string-buffer" "sbuf" add-containers-form
"comment" "!" add-containers-form
"comment" "#" add-containers-form
"path" "path" add-containers-form
"inline" "inline" add-rdecorators-form
"recursive" "recursive" add-rdecorators-form
"private" "private" add-rdecorators-form
"final" "final" add-rdecorators-form
"flushable" "flushable" add-rdecorators-form
"foldable" "foldable" add-rdecorators-form
;
: lookup-syntax ( string -- form )
;
TUPLE: manifest ;
GENERIC: flatten-literal ( obj -- obj' )
M: sequence flatten-literal
[ flatten-literal ] map ;
M: slice flatten-literal >string ;
: flatten-literals ( seq -- seq' )
;
: upper-colon>form ( seq -- form )
[ first "syntax" lookup-word ] [ ] bi 2array ;
GENERIC: upper-colon>definitions ( form -- seq )
! M: \: upper-colon>definitions
! second first >string ;
: form>definitions ( obj -- obj' )
{
{ [ dup ?first upper-colon? ] [ upper-colon>definitions ] }
[ ]
} cond ;
! math+private,macos:fixnum+
! math+private:fixnum+
! math:fixnum+
#[[
<PRIVATE PRIVATE>
private decorator
<MACOS MACOS>
macos decorator
<MACOS <PRIVATE PRIVATE> MACOS>
macos,private decorators
<VOCAB: math
: foo ;
<PRIVATE
: bar ;
<MACOS
: baz ;
MACOS>
PRIVATE>
;VOCAB>
private.macos namespace
math#private.macos
math+private.macos
math:foo
math+private:foo
math+private.macos:foo
git@github.com:erg/factor#master
git@github.com:erg/factor#master\core/math+private.macos:foo
^
uri\path\path/path/
GITHUB\core/math.order
git@github.com:erg/factor#master\core/math/order/order.factor
git@github.com:erg/factor#master\core//math.order
git@github.com:erg/factor#master\core//math.order
${github}:erg/factor#master\core//math.order
git branch name: no backslash, ., .., ~^:<sp>, end in /
<ROOT: core
<VOCAB: math
: foo ;
<PRIVATE
: bar ;
<MACOS
: baz ;
MACOS>
PRIVATE>
;VOCAB>
;ROOT>
<REPO: github
<ROOT: core
<VOCAB: math
: foo ;
<PRIVATE
: bar ;
<MACOS
: baz ;
MACOS>
PRIVATE>
;VOCAB>
;ROOT>
;REPO>
]]