mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-22 11:19:32 -06:00
optimization in make
This commit is contained in:
@@ -57,7 +57,7 @@ stripTerm t = case t of
|
||||
TWild ty -> TWild $ stripTerm ty
|
||||
_ -> ti
|
||||
R [] -> EInt 8 --- GF 1.2 parser doesn't accept empty records
|
||||
RecType [] -> Cn "Int" ---
|
||||
RecType [] -> Cn (zIdent "Int") ---
|
||||
_ -> composSafeOp stripTerm t
|
||||
|
||||
stripPattern p = case p of
|
||||
|
||||
Reference in New Issue
Block a user