moonad / Moonad

Moonad: a p2p academic journal, or a social network for code?

Home Page:http://moonad.org/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Undefined reference 'Map.map'.

bukzor opened this issue · comments

$ git log -1 --oneline
ae4346f (HEAD -> master, origin/master, origin/HEAD) Walk animation on Mons


Found 2 type error(s):

Inside Mons:
Undefined reference 'Map.map'.
With context:
- wall : Image3D
- chest : Image3D
- seat : Image3D
- screen : Image3D
- event : App.Event
- game : _GFB
- event.time : U64
- event.screen : Pair(U32,U32)
- event.mouse : Pair(U32,U32)
On line 449:
   445|   def when(event, game)
   446|     case event:
   447|     | init => [];
   448|     | tick => [
   449|       App.Action.state<>(Mons.Game.tick(game))
   450|     ];
   451|     | xkey => [

Inside Mons.Game.tick:
Undefined reference 'Map.map'.
With context:
- game : Mons.Game
- game.pos : Pos32
- game.map : Mons.Map
- pos : Pos32
On line 372:
   368|       def with_tile(objs)
   369|         def with_obj(obj)
   370|           Mons.Object.tick(obj)
   371|         List.map<,>(with_obj, objs)
   372|       Map.map<,>(with_tile, game.map)
   373|     Mons.Game.new(pos, map);
   374|

This is the Formality version I'm using:

$ git log --oneline -1
ae4346f (HEAD -> master, origin/master, origin/HEAD) Walk animation on Mons
commented

Fixed here.