gf-core

Files

hallgren 15f0edae32 Removed imports of TypeCheck.Concrete, fixed problems in TypeCheck.RConcrete

+ The current type checker for concrete syntax is in
  GF.Compile.TypeCheck.RConcrete, but GF.Compile.TypeCheck.Concrete was
  still imported in GFI.

+ Fixed a bug that allowed Ints n as a subtype of Ints m, regardless of
  m and n. It now requires n<=m. Note: the type checker still allows Int
  as a subtype of Ints m, regardless of m.

+ Fixed a potential efficiency problem with large record types, by reducing
  the number of recursive calls from |R|*|S| to |R| when checking if R<=S.

+ Fixed a misleading comment: "alpha g t u" checks that u is a subtype of t,
  the other way around. Similarly, "checkIfEqLType gr g t u trm" checks that
  u is a subtype of t, not the other way around, and not that t is equal to u.

2014-04-04 13:51:07 +00:00

binary/Data

Fix the fix

2014-03-04 14:35:14 +00:00

compiler

Removed imports of TypeCheck.Concrete, fixed problems in TypeCheck.RConcrete

2014-04-04 13:51:07 +00:00

example-based

Eliminate mutual dependencies between the GF compiler and the PGF library

2013-11-05 13:11:10 +00:00

runtime

fix the haskell binding to handle parse errors