hjalte01 / ips

IPS

IPS

IPS

ips's Issues

Multiple let declaration

Expand the current implementation of let as specified by the assignment.

let x = foo; y = bar; z = baz in qux

Boolean false value

Implement the boolean false value as specified by the assignment.

// Exp -> false
false

Boolean and operator

Implement the boolean and operator as specified by the assignment.

// Exp -> Exp && Exp
true && true

Boolean true value

Implement the boolean true value as specified by the assignment.

// Exp -> true
true

Dead-binding removal

Implement dead-binding removal as specified in the assignment text.

Multiplication operator

Implement the multiplication operator as specified by the assignment.

// Exp -> Exp * Exp
a*b

replicate

Implement the replicate function as specified by the assignment:

// replicate(Exp, Exp)
replicate(5, 1) -> [1, 1, 1, 1, 1]
replicate(5, 'a') -> ['a', 'a', 'a', 'a', 'a']

Constant folding

Implement constant folding as specified in the assignment text.

Copy propagation

Implement copy propagation as specified in the assignment text.

Boolean negation operator

Implement the boolean negation operator as specified by the assignment.

// Exp -> not Exp
not true

Bad type for negation operator.

Same as #28.

Bad type for replicate

Same as #28

filter

Implement the filter function as specified by the assignment.

// filter(FunArg, Exp)
filter(fn bool (int x) => x>2, [1, 2, 3]) -> [3]

Boolean or operator

Implement the boolean or operator as specified by the assignment.

// Exp -> Exp || Exp
true || false

Divide by 0 exception

I made a mistake testing for exceptions. Division by 0 fails the compiled test when you give it a .err file as input as you should. Apparently this should be checked and reported in TypeChecker.

scan

Implement the scan function as specified by the assignment.

// scan(FunArgs, Exp, Exp)
scan(fn int (int acc, int x) => acc*x, 1, [1, 2, 3]) -> [1, 2, 6]

Integer negation operator

Implement the integer negation operator as specified by the assignment.

// Exp -> ~Exp
~a

Division operator

Implement the division operator as specified by the assignment.

// Exp -> Exp / Exp
a/b