lambda-auth

lambda-auth copied to clipboard

compilation error

4

I was not able to build the example using make. It first reports the following error: Makefile:145: .depend: No such file or directory make: **\* No rule to make target...

welvinyu

Workaround: include a minimal type and method: ``` type useless = Useless ``` --- ``` f_useless () = auth Useless ```

amiller

This example causes stack overflow: ``` type tree = Tip | Bin of (tree * int * tree) authtype | UnBin of (tree * int * tree) ``` This workaround...

amiller