rm-hull / byok3 Goto Github PK

View Code? Open in Web Editor NEW

4.0 4.0 0.0 880 KB

A forth interpreter and compiler implemented in scala using typelevel/cats

Home Page: https://byok3.now.sh

License: MIT License

Scala 69.10% Forth 28.70% CSS 0.14% JavaScript 1.14% HTML 0.58% Dockerfile 0.33%

forth scala

byok3's Introduction

Hi there 👋

Here's a small selection of personal projects I've got hosted in Github:

UK Ordnance Survey maps - A small frontend app written in Typescript using React, Chakra UI and Leaflet.js, deployed with Github Actions and hosted via Github Pages.
Zaup 2.0 - Another frontend app (also Typescript, React, Chakra) that displays imported TOTP codes. It is another "serverless" app - all the data is persisted in local storage (and AES encrypted)
Asteroids - A golang implementation of the classic arcade game that cross-compiles into WASM so you can play it in a browser.
8-bit Trip - An experiment in webaudio.
BYOK 3 - A Forth interpreter/compiler written in Scala with Cats.

byok3's People

Contributors

Stargazers

Watchers

byok3's Issues

Test Failure: F3.03 - Shifts

Test case failure:

INCORRECT RESULT: T{ 1S 2/ -> 1S }T                \ MSB PROPOGATED

Actual result:

1S .
-1   ok

1S 2/ . 
0   ok

Test Failure: F3.10 - division

Missing implementation of FM/MOD:

Left(byok3.data_structures.Error: word not found: FM/MOD, in file: forth/F3.10_division.fth:4) was not equal to Right(OK)
ScalaTestFailureLocation: byok3.WordTest at (WordTest.scala:44)
Expected :Right(OK)
Actual   :Left(byok3.data_structures.Error: word not found: FM/MOD, in file: forth/F3.10_division.fth:4)

Test Failure: F3.05 - Comparisons

Test case failure:

INCORRECT RESULT: T{ MID-UINT MAX-UINT U< -> <TRUE> }T

Actual result:

MID-UINT MAX-UINT <TRUE> .S
7fffffff -1 -1   ok...

MID-UINT MAX-UINT U< .
0   ok...

Test Failure: F3.19 - number patterns

Test case failure:

INCORRECT RESULT: T{ GP3 -> <TRUE> }T
INCORRECT RESULT: T{ GP4 -> <TRUE> }T
INCORRECT RESULT: T{ GP5 -> <TRUE> }T
INCORRECT RESULT: T{ GP6 -> <TRUE> }T
INCORRECT RESULT: T{ GP7 -> <TRUE> }T
INCORRECT RESULT: T{ 1 0 GN' 1' >NUMBER -> BASE @ 1+ 0 GN-CONSUMED }T
INCORRECT RESULT: T{ MAX-UINT 0 2 GN1 -> MAX-UINT 0 0 }T
INCORRECT RESULT: T{ MAX-UINT DUP 2 GN1 -> MAX-UINT DUP 0 }T
INCORRECT RESULT: T{ MAX-UINT 0 MAX-BASE GN1 -> MAX-UINT 0 0 }T
INCORRECT RESULT: T{ MAX-UINT DUP MAX-BASE GN1 -> MAX-UINT DUP 0 }T

Implement DOES> and (DOES>) as primitives

Test Failure: F3.18 - parser input

Test case failure:

INCORRECT RESULT: SOURCE -> <TRUE> <TRUE> }T
WRONG NUMBER OF RESULTS: -> 345 345 }T
WRONG NUMBER OF RESULTS: 123 RESCAN?23 123 123 123 123 }T
WRONG NUMBER OF RESULTS: -> }T

Probably related to #13

`n IN> !` should advance offset in input buffer

Ctrl-A/Ctrl-E navigation in web terminal

Grab & accumulate source on defining a word

So that doc (or see?) can show the source

Handle input too big with forth error rather than crashing with JVM exception

ERROR [OneForOneStrategy]: invalid memory address: input string too long
byok3.data_structures.Error: invalid memory address: input string too long
	at byok3.data_structures.Error$.apply(Error.scala:76)
	at byok3.data_structures.Context$.input(Context.scala:185)
	at byok3.Interpreter$.apply(Interpreter.scala:84)
	at byok3.data_structures.Context.eval(Context.scala:97)
	at byok3.web.actors.StackMachine$$anonfun$receive$1.$anonfun$applyOrElse$1(StackMachine.scala:68)
	at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12)
	at scala.util.DynamicVariable.withValue(DynamicVariable.scala:58)
	at scala.Console$.withOut(Console.scala:163)
	at byok3.web.actors.StackMachine.byok3$web$actors$StackMachine$$capturingOutput(StackMachine.scala:78)
	at byok3.web.actors.StackMachine$$anonfun$receive$1.applyOrElse(StackMachine.scala:62)
	at akka.actor.Actor.aroundReceive(Actor.scala:517)
	at akka.actor.Actor.aroundReceive$(Actor.scala:515)
	at byok3.web.actors.StackMachine.aroundReceive(StackMachine.scala:50)
	at akka.actor.ActorCell.receiveMessage(ActorCell.scala:527)
	at akka.actor.ActorCell.invoke(ActorCell.scala:496)
	at akka.dispatch.Mailbox.processMailbox(Mailbox.scala:257)
	at akka.dispatch.Mailbox.run(Mailbox.scala:224)
	at akka.dispatch.Mailbox.exec(Mailbox.scala:234)
	at akka.dispatch.forkjoin.ForkJoinTask.doExec(ForkJoinTask.java:260)
	at akka.dispatch.forkjoin.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1339)
	at akka.dispatch.forkjoin.ForkJoinPool.runWorker(ForkJoinPool.java:1979)
	at akka.dispatch.forkjoin.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:107)
INFO  [StackMachine]: Starting stack machine: Actor[akka://byok3/user/supervisor/63815d34-54fe-4d61-b1ff-c1a91445ab83#-38692108]

Stream output in web terminal

See https://gist.github.com/johanandren/7683da950273dfc7f3fb

Toggle insert/replace mode in Web terminal

Test Failure: F3.09 - multiplication

Test case failure:

INCORRECT RESULT: T{ 2 MIN-INT M* -> 0 1S }T
INCORRECT RESULT: T{ 2 MAX-INT M* -> MAX-INT 1 LSHIFT 0 }T
INCORRECT RESULT: T{ MIN-INT MIN-INT M* -> 0 MSB 1 RSHIFT }T
INCORRECT RESULT: T{ MAX-INT MIN-INT M* -> MSB MSB 2/ }T
INCORRECT RESULT: T{ MAX-INT MAX-INT M* -> 1 MSB 2/ INVERT }T
INCORRECT RESULT: T{ MID-UINT+1 1 RSHIFT 2 UM* -> MID-UINT+1 0 }T
INCORRECT RESULT: T{ MID-UINT+1 2 UM* -> 0 1 }T
INCORRECT RESULT: T{ MID-UINT+1 4 UM* -> 0 2 }T
INCORRECT RESULT: T{ 1S 2 UM* -> 1S 1 LSHIFT 1 }T
INCORRECT RESULT: T{ MAX-UINT MAX-UINT UM* -> 1 1 INVERT }T

Test Failure: F3.20 - memory

Test failure:

INCORRECT RESULT: T{ SEEBUF -> 12 20 20 }T

rm-hull / byok3 Goto Github PK

byok3's Introduction

Hi there 👋

byok3's People

Contributors

Stargazers

Watchers

byok3's Issues

Recommend Projects

Recommend Topics

Recommend Org