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.

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

Update esterel-rhombus-lib and add examples, tests, and documentation for Rhombus Esterel #9

Open
wants to merge 11 commits into
base: main
Choose a base branch
from

Conversation

ellifteria
Copy link

  • Update Rhombus dependencies
  • Fix bugs in Rhombus Esterel bindings
  • Added Rhombus Esterel bindings for almost all of Racket functions
  • Created Rhombus Esterel examples: tab bar, traffic light
  • Add some Rhombus Esterel tests
  • Document all Rhombus Esterel functions, macros, operators, etc.
  • Add examples in most of the Rhombus Esterel documentation

ellifteria and others added 11 commits August 6, 2024 13:53
implementation to Rhombus

Converted Rhombus Lists to PairLists (Racket lists) in react, par, and |||

Add def_strl to Rhombus

Add shorthand def_strl :  for def : esterel:

Add signal_index

Add signal values! (i think. they work at a very basic level)

signal definition now works

fixed with_signal one signal bug

Update signals
it's not a tab-bar in any sense, but that's a different problem :)
Add abort macro to Rhombus esterel/full and modify racket esterel/private/full to provide abort-when/proc, weak-abort/proc, and weak-abort-immediate/proc since those are required for abort in Rhombus esterel/full

Add suspend macro to Rhombus and add is_trap function to Rhombus for Racket's trap? function

Expose all imports into rhombus-lib from racket esterel/kernel and esterel/full
Rename reducer into_par to ||| in rhombus
Add rhombus test of pre. Add pre to esterel

Remove `def_strl` macro

Rename variables and export all kernel functions
Fix documentation dependencies

Add example

Update .gitignore

Update doc/info.rkt
@@ -1,3 +1,6 @@
*~
compiled/
.DS_Store
**/.DS_Store
**/doc/
Copy link
Owner

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

probably doc should not be ignored (it shouldn't be checked in).

@@ -2,7 +2,7 @@

(define collection 'multi)

(define deps '("base" "rhombus-prototype" "esterel-lib"))
(define deps '("base" "rhombus" "esterel-lib"))
Copy link
Owner

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I think it is probably better to avoid depending on the meta-pkg and instead depend on the specific packages that are directly needed. IIUC, this dependency is actually equivalent to writing just "rhombus-lib" here, but it pulls in all of the other rhombus pkgs too.

@@ -4,6 +4,8 @@

(define deps '("base"
"esterel-lib" "esterel-doc"
"esterel-rhombus-lib" "rhombus"
Copy link
Owner

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

ditto for this "rhombus" dependency.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants