Skip to content

Commit

Permalink
edit
Browse files Browse the repository at this point in the history
  • Loading branch information
vidsinghal committed Oct 8, 2024
1 parent 40526bc commit 00cb8e2
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion gibbon-compiler/src/Gibbon/Language/Syntax.hs
Original file line number Diff line number Diff line change
Expand Up @@ -541,7 +541,7 @@ data UrTy loc
| BoolTy
| ProdTy [UrTy loc] -- ^ An N-ary tuple
| SymDictTy (Maybe Var) (UrTy ()) -- ^ A map from SymTy to Ty
-- ^ We allow built-in dictionaries from symbols to a value type.
-- ^ We allow built-in dictionaries from symbols to a value type.
| PackedTy TyCon loc -- ^ No type arguments to TyCons for now. (No polymorphism.)
| VectorTy (UrTy loc) -- ^ Vectors are decorated with the types of their elements;
-- which can only include scalars or flat products of scalars.
Expand Down

0 comments on commit 00cb8e2

Please sign in to comment.