examples/old/Markus/assignment_to_builtin.spl

   1 // Do you allow this program?
   2
   3 blaat(x) :: [a] -> Bool
   4 {
   5   return True;
   6 }
   7
   8 f()
   9 {
  10   // This tries to assign to the built-in function isEmpty.
  11   // Adapt this line if your isEmpty is called differently.
  12   var isEmpty = blaat;
  13 }
  14
  15 main() {return;}