syndicate-lang
/
syndicate-js
1
0
Fork 0
Code Issues 1 Pull Requests Projects Releases Wiki Activity

Take care with integer/float distinction

This commit is contained in:
Tony Garnock-Jones 2018-11-16 00:13:12 +00:00
parent 7c0ccd515f
commit 652fcb5dd1
3 changed files with 10 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
packages/core/package.json
View File

@ -22,6 +22,6 @@
},
"dependencies": {
"immutable": "^3.8.2",
"preserves": "^0.0.3"
"preserves": "^0.0.4"
}
}

6
packages/driver-timer/src/index.js
View File

@ -16,7 +16,7 @@
// along with this program. If not, see <https://www.gnu.org/licenses/>.
//---------------------------------------------------------------------------
import { Observe, Dataspace } from "@syndicate-lang/core";
import { Observe, Dataspace, Float } from "@syndicate-lang/core";
export { PeriodicTick, TimeLaterThan };
@ -38,7 +38,7 @@ spawn named 'driver-timer/PeriodicTick' {
on start {
handle = setInterval(Dataspace.wrapExternal(() => {
^ PeriodicTick(intervalMS);
}), intervalMS);
}), Float.unwrap(intervalMS));
}
on stop {
if (handle) {
@ -58,7 +58,7 @@ spawn named 'driver-timer/TimeLaterThan' {
let handle = null;
let finish = Dataspace.backgroundTask();
on start {
let delta = deadlineMS - (+(new Date()));
let delta = Float.unwrap(deadlineMS) - (+(new Date()));
handle = setTimeout(Dataspace.wrapExternal(() => {
handle = null;
finish();

12
packages/flappy-bird-demo/src/index.js
View File

@ -17,7 +17,7 @@
// along with this program. If not, see <https://www.gnu.org/licenses/>.
//---------------------------------------------------------------------------
import { $QuitDataspace, Inbound, Outbound, Dataspace } from "@syndicate-lang/core";
import { $QuitDataspace, Inbound, Outbound, Dataspace, Double } from "@syndicate-lang/core";
let UI = activate require("@syndicate-lang/driver-browser-ui");
// @jsx UI.html
@ -85,7 +85,7 @@ function spawnGame() {
field this.ypos = 312;
field this.yvel = 0;
assert Position(this.xpos, this.ypos);
assert Position(Double(this.xpos), Double(this.ypos));
assert Outbound(ui.html('#board-area', <div class="flappy"
style={`transform: rotate(${2 * this.yvel}deg);
@ -106,7 +106,7 @@ function spawnGame() {
}
const ms_per_tick = 1000.0 / 60;
on message Inbound(PeriodicTick(ms_per_tick)) {
on message Inbound(PeriodicTick(Double(ms_per_tick))) {
this.xpos += 0.15 * ms_per_tick;
this.ypos = (this.ypos + this.yvel);
this.yvel += ms_per_tick * 0.05;
@ -117,7 +117,7 @@ function spawnGame() {
spawn named 'border-scroll' {
let ui = new UI.Anchor();
field this.pos = 0;
on asserted Position($xpos, _) this.pos = xpos % 23;
on asserted Position($xpos, _) this.pos = xpos.value % 23;
assert Outbound(ui.html(
'#board-area',
<div class="scrolling-border" style={`background-position-x: ${-this.pos}px`}></div>, 0));
@ -148,10 +148,10 @@ function spawnGame() {
}
field this.xpos = xlocation;
on asserted Position($xpos, _) this.xpos = xlocation - xpos;
on asserted Position($xpos, _) this.xpos = xlocation - xpos.value;
on asserted Position($xpos, $ypos) {
if (touchingPillar(xpos, ypos)) {
if (touchingPillar(xpos.value, ypos.value)) {
react {
assert GameOver();
}