Add support for function updates for functions with larger domains

[jgroote]

Issue migrated from trac ticket # 891

component: Data Library | priority: minor

2011-12-11 15:17:49: @jkeiren created the issue

---

Add support for function updates for functions with larger domains.

A systematic implementation of this depends on bug #878

[jgroote]

2012-08-24 07:05:07:

[jgroote]

2012-08-24 07:05:07: commented

---

Milestone To be decided deleted

[jgroote]

2014-09-04 14:14:21: @wiegerw

[jgroote]

2014-09-04 14:14:21: @wiegerw commented

---

Implementation suggestion (previously #878):

Currently, data types can only be generated using single parameterised sort (e.g. List(S)). This should be generalised to support lists of sorts.

This functionality should than be used to generate code for function updates to functions with arbitrary numbers of parameters.

[jgroote]

2016-11-24 19:23:44: @wiegerw changed status from new to assigned

[jgroote]

2016-11-24 19:23:44: @wiegerw changed owner from jkeiren to jfg

[jgroote]

2016-12-04 21:30:22: anonymous

[tneele]

An alternative I want to leave here for future reference: If we have

map g: Int -> (Int -> Int);

We can update the value of g(1)(2) with g[1 -> (g(1)[2 -> 3])].