Mike Burrell

  • Email:
  • Registered on: 06/15/2009
  • Last connection: 08/09/2010

Projects

  • Pola (Manager, Developer, 06/15/2009)

Activity

Reported issues: 14

08/09/2010

01:05 pm Pola Bug #14 (Resolved): Disallow non-existent constructors in folds
Added an error message.
12:58 pm Pola Bug #8 (Resolved): Unterminated comments should have a helpful error message
Better error message now.
12:51 pm Pola Bug #11 (Resolved): Variable shadowing
Fixed by adding an error message wherever there's ambiguity.

05/28/2010

07:50 am Pola FICS2010.pdf

04/05/2010

12:45 pm Pola MFPS2010.pdf

04/02/2010

04:21 pm Pola Bug #14: Disallow non-existent constructors in folds
One should not be allowed to do:...

03/04/2010

02:43 pm Pola Wiki edit: Getting_started (#9)
02:41 pm Pola Wiki edit: Getting_started (#8)

01/30/2010

11:45 am Pola Pola revision 7 has been committed
The most visible change will be the syntactic changes. The type @Foo a b@ is now @Foo(a, b)@. Safe and dangerous type...
11:44 am Pola Bug #5 (Closed): Bunched contexts
Fixed in revision 7.

Also available in: Atom