Homework #5

[saucisson]

Homework #5 has been released. Deadline is 13 december 2017 at 23:59.
Look at the course homepage for more information.

[sergentd]

I can't find the homework 5 directory. What is its name and where is it located ?
Thank you

[saucisson]

Sorry, i have forgotten to push. Fixed.

[partizanos]

Hello,

I have an issue with my linux environment setup and I had to format everything.
After installing OS etc.. and the lesson related packages lua the busted atom etc with the bash script
I have an issue with the tests
in beginning busted could not locate fun

./src/adt/init.lua:1: module 'fun' not found:No LuaRocks module found for fun
	no field package.preload['fun']
	no file './src/fun.lua'

so i installed it
luarocks install fun
and after that the test files not only from the ctl folder all have the same mistake:
test file attempt to call a nil value (field 'frommap') I post the whole log in the end because its a bit long
which is a Fun module function

Any ideas?
possibly helpful info:
installed fun version : fun-scm-1.rockspec
lua version:
Lua 5.3.4 Copyright (C) 1994-2017 Lua.org, PUC-Rio

I will need to use my 1 extra day if needed since time is tight.
Thank you in advance

PS the log

Error → src/adt/init_spec.lua @ 57
#adt can create an operation from a sort
./src/adt/init.lua:76: attempt to call a nil value (field 'frommap')

stack traceback:
	./src/adt/init.lua:76: in metamethod '__newindex'
	src/adt/init_spec.lua:59: in function <src/adt/init_spec.lua:57>


Error → src/adt/init_spec.lua @ 63
#adt can print an operation
./src/adt/init.lua:76: attempt to call a nil value (field 'frommap')

stack traceback:
	./src/adt/init.lua:76: in metamethod '__newindex'
	src/adt/init_spec.lua:66: in function <src/adt/init_spec.lua:63>


Error → src/adt/init_spec.lua @ 70
#adt can check if two operations are equal
./src/adt/init.lua:76: attempt to call a nil value (field 'frommap')

stack traceback:
	./src/adt/init.lua:76: in metamethod '__newindex'
	src/adt/init_spec.lua:74: in function <src/adt/init_spec.lua:70>


Error → src/adt/init_spec.lua @ 80
#adt can create a term from an operation
./src/adt/init.lua:76: attempt to call a nil value (field 'frommap')

stack traceback:
	./src/adt/init.lua:76: in metamethod '__newindex'
	src/adt/init_spec.lua:82: in function <src/adt/init_spec.lua:80>


Error → src/adt/init_spec.lua @ 88
#adt can print a term
./src/adt/init.lua:76: attempt to call a nil value (field 'frommap')

stack traceback:
	./src/adt/init.lua:76: in metamethod '__newindex'
	src/adt/init_spec.lua:90: in function <src/adt/init_spec.lua:88>


Error → src/adt/init_spec.lua @ 96
#adt can check if two terms are equal
./src/adt/init.lua:76: attempt to call a nil value (field 'frommap')

stack traceback:
	./src/adt/init.lua:76: in metamethod '__newindex'
	src/adt/init_spec.lua:98: in function <src/adt/init_spec.lua:96>


Error → src/adt/init_spec.lua @ 109
#adt can check if two terms equivalent
./src/adt/init.lua:76: attempt to call a nil value (field 'frommap')

stack traceback:
	./src/adt/init.lua:76: in metamethod '__newindex'
	src/adt/init_spec.lua:111: in function <src/adt/init_spec.lua:109>


Error → src/adt/init_spec.lua @ 145
#adt can get the equivalence mapping between two terms
./src/adt/init.lua:76: attempt to call a nil value (field 'frommap')

stack traceback:
	./src/adt/init.lua:76: in metamethod '__newindex'
	src/adt/init_spec.lua:147: in function <src/adt/init_spec.lua:145>


Error → src/adt/init_spec.lua @ 215
#adt can replace variables in terms
./src/adt/init.lua:76: attempt to call a nil value (field 'frommap')

stack traceback:
	./src/adt/init.lua:76: in metamethod '__newindex'
	src/adt/init_spec.lua:217: in function <src/adt/init_spec.lua:215>


Error → src/adt/init_spec.lua @ 224
#adt can create an rule from two terms
./src/adt/init.lua:76: attempt to call a nil value (field 'frommap')

stack traceback:

[saucisson]

You must not install fun using the command you typed, but instead using the following command, as stated in the README:

luarocks install rockspec/fun-scm-1.rockspec

[partizanos]

works, thanks for the quick feedback! what is the difference between the two (just curiosity)

[saucisson]

I have changed a bit the fun module in order to know if {} represents an empty list or an empty map. Tried to put an issue in the original module, but with no answer :'(